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, Pseudocode, Software Testing, Hardware Architecture, Software Quality Assurance, Computer Architecture, 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: Free TrialUniversity of London
Skills you'll gain: Computational Logic, Algorithms, Applied Mathematics, Advanced Mathematics, Mathematics and Mathematical Modeling, Deductive Reasoning, Mathematical Theory & Analysis, Trigonometry, Statistics, General Mathematics, Analysis, Graphing, Computer Science, Mathematical Modeling, Programming Principles, Business Mathematics, Business Logic, Algebra, Arithmetic, Problem Solving
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 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 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
What brings you to Coursera today?
Status: Free TrialBirla Institute of Technology & Science, Pilani
Skills you'll gain: Data Analysis, Computational Logic, Engineering Calculations, Trigonometry, Linear Algebra, Engineering Analysis, Logical Reasoning, Deductive Reasoning, Probability & Statistics, Statistical Analysis, Calculus, Analytical Skills, Bayesian Statistics, Differential Equations, Programming Principles, Statistical Inference, Theoretical Computer Science, Numerical Analysis, Descriptive Analytics, Applied Mathematics
Status: Free TrialUniversity of Colorado Boulder
Skills you'll gain: Computational Logic, Mathematical Modeling, System Requirements, Functional Requirement, Theoretical Computer Science, Verification And Validation, Control Systems, Network Model, Systems Analysis, Automation, Mechanical Engineering, Real-Time Operating Systems, Agentic systems, Differential Equations, Safety Assurance, Robotics, Artificial Intelligence, Linear Algebra, Algorithms, Applied Mathematics
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 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: Free TrialUniversity of Colorado System
Skills you'll gain: Requirements Elicitation, Software Design Documents, Requirements Analysis, Security Requirements Analysis, Mockups, Interviewing Skills, User Requirements Documents, Data Flow Diagrams (DFDs), Storyboarding, Requirements Management, Functional Requirement, Goal Setting, Software Development Methodologies, Software Documentation, Diagram Design, Agile Methodology, Business Requirements, Unified Modeling Language, Risk Management Framework, System Requirements
Status: NewStatus: Free TrialThe Hong Kong University of Science and Technology
Skills you'll gain: Computational Logic, Logical Reasoning, Theoretical Computer Science, Deductive Reasoning, Data Structures, Computer Science, Algorithms
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
- Essential Mathematics for Computer Science: University of London
- Software Testing and Automation: University of Minnesota
- Software Quality Assurance and Testing: Board Infinity
- Software Testing Fundamentals for ISTQB Exams Prep: Board Infinity
- Mathematics for Engineering: Birla Institute of Technology & Science, Pilani
- Foundations of Autonomous Systems: University of Colorado Boulder
- Software Testing and Quality Engineering: Edureka
- Introduction to Modeling for Formal Verification: University of Colorado Boulder
