Results for "formal+verification"
Status: NewStatus: Free TrialUniversity of Colorado Boulder
Skills you'll gain: Computational Logic, Systems Design, Verification And Validation, Systems Analysis, Software Systems, Theoretical Computer Science, Computational Thinking, System Design and Implementation, Simulations, Programming Principles, Software Architecture, Software Design, Model Evaluation, Graph Theory, Software Testing, Hardware Architecture, Software Quality Assurance, Computer Architecture, Algorithms, Logical Reasoning
Status: Free TrialJohns Hopkins University
Skills you'll gain: Algebra, Mathematical Modeling, Graphing, Arithmetic, Advanced Mathematics, Applied Mathematics, General Mathematics, Analytical Skills, Probability & Statistics, Geometry
Status: NewStatus: PreviewSkills you'll gain: Secure Coding, Open Web Application Security Project (OWASP), DevSecOps, Security Testing, Application Security, Vulnerability Scanning, Vulnerability Assessments, Vulnerability Management, CI/CD, Continuous Monitoring, Docker (Software), Technical Communication, Computer Programming
Status: NewStatus: Free TrialBoard Infinity
Skills you'll gain: Test Automation, Performance Testing, Software Quality Assurance, White-Box Testing, API Testing, Test Script Development, Debugging, Software Development Methodologies, User Acceptance Testing (UAT), JUnit, Maintainability, Development Testing, Selenium (Software), Scalability, Automation, Software Technical Review, DevOps, Regression Testing, Test Execution Engine, Security Testing
Status: Free TrialUniversity of Minnesota
Skills you'll gain: Open Web Application Security Project (OWASP), Cucumber (Software), Software Testing, Selenium (Software), Gherkin (Scripting Language), JUnit, Verification And Validation, Test Automation, Unit Testing, Security Testing, Regression Testing, System Testing, Test Case, Software Development Tools, Testability, White-Box Testing, Behavior-Driven Development, Code Coverage, Performance Testing, Development Testing
Status: Free TrialSkills you'll gain: Problem Solving, Vocabulary, Logical Reasoning, Critical Thinking, Deductive Reasoning, Arithmetic, Data Literacy, Analytical Skills, Complex Problem Solving, Grammar, English Language, Data Analysis, Learning Strategies, Trend Analysis, Applied Mathematics, Data Presentation, Verbal Communication Skills, Analysis, Quantitative Research, Estimation
What brings you to Coursera today?
Status: NewStatus: Free TrialSkills you'll gain: Test Driven Development (TDD), Unit Testing, Test Planning, Debugging, Browser Compatibility, Performance Testing, Security Testing, Software Testing, System Testing, Test Script Development, Behavior-Driven Development, API Testing, Code Coverage, Integration Testing, Test Case, Test Automation, Test Tools, Development Environment, Code Review, Continuous Delivery
Status: Free TrialBoard Infinity
Skills you'll gain: Test Planning, Test Tools, Software Testing, Configuration Management, Test Case, Integration Testing, System Testing, Test Automation, Software Development Life Cycle, Acceptance Testing, Software Technical Review, Code Review, Unit Testing, White-Box Testing, Regression Testing, Software Quality Assurance, Test Data, Risk Management, Risk Management Framework, Verification And Validation
Status: Free TrialUniversity of Colorado Boulder
Skills you'll gain: Systems Design, Computational Logic, Verification And Validation, Software Systems, Theoretical Computer Science, Simulations, Programming Principles, Graph Theory, Model Evaluation, Hardware Architecture, Algorithms, Logical Reasoning
Status: NewStatus: PreviewSkills you'll gain: Hardware Design, Field-Programmable Gate Array (FPGA), Data Structures, Systems Design, Application Specific Integrated Circuits, Electronic Systems, Computer Engineering, Verification And Validation, Embedded Systems, Software Design, Simulation and Simulation Software, Test Engineering, Scalability, Data Synthesis, Analysis, Design, Process Optimization
Status: Free TrialSkills you'll gain: Web Applications, Computational Logic, Software Development Tools, Business Logic, Other Programming Languages, Program Development, Scalability
Status: NewStatus: Free TrialSkills you'll gain: Compliance Auditing, Auditing, Financial Auditing, Audit Working Papers, Corrective and Preventive Action (CAPA), Process Improvement, Internal Controls, Internal Auditing, Verification And Validation, Financial Controls, Financial Analysis, Financial Statement Analysis, Document Management
In summary, here are 10 of our most popular formal+verification courses
- Fundamentals of Model Checking:Â University of Colorado Boulder
- Algebra: Elementary to Advanced:Â Johns Hopkins University
- Securing Applications with Checkmarx:Â Coursera
- Software Quality Assurance and Testing:Â Board Infinity
- Software Testing and Automation:Â University of Minnesota
- Job & Exam Aptitude Mastery: Reasoning | DI | Verbal | Quant:Â Board Infinity
- Software Testing and Quality Engineering:Â Edureka
- Software Testing Fundamentals for ISTQB Exams Prep:Â Board Infinity
- Introduction to Modeling for Formal Verification:Â University of Colorado Boulder
- SystemVerilog Tutorials: Hardware Design & Verification:Â Coursera
