Results for "model checking"
University 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
28DIGITAL
Skills you'll gain: Computational Logic, Markov Model, Verification And Validation, Theoretical Computer Science, Mathematical Modeling, Systems Analysis, Statistical Modeling, Probability, Algorithms, Probability Distribution
Skills you'll gain: Computational Logic, Theoretical Computer Science, Model Evaluation, Systems Analysis, Graph Theory, Verification And Validation, Algorithms, Data Structures
University of Colorado Boulder
Skills you'll gain: Computational Logic, Verification And Validation, Theoretical Computer Science, Systems Design, Model Evaluation, Simulations, Algorithms, Safety and Security
University of Colorado Boulder
Skills you'll gain: Graph Theory, Arithmetic
University 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
What brings you to Coursera today?
University of Colorado Boulder
Skills you'll gain: Verification And Validation, Computational Logic, Theoretical Computer Science, Automation, Agentic systems, System Requirements, Robotics, Artificial Intelligence, Algorithms
University of Minnesota
Skills you'll gain: Test Automation, Regression Testing, Software Testing, Software Development Tools, Unit Testing, White-Box Testing, Code Coverage, Security Testing, Verification And Validation, Test Case, Test Data, Debugging, Automation, Application Security
Birla Institute of Technology & Science, Pilani
Skills you'll gain: Computational Logic, Logical Reasoning, Deductive Reasoning, Theoretical Computer Science, Analytical Skills, Programming Principles, Computer Science, Data Analysis, Computer Programming, Algorithms, Verification And Validation, Systems Analysis, Software Development, Machine Learning
University 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
Skills you'll gain: Verification And Validation, Embedded Software, Software Systems, Systems Analysis, Distributed Computing, Mathematical Modeling, Theoretical Computer Science, Software Architecture, Data Modeling, Software Design, Algorithms, Data Structures
Skills you'll gain: Systems Analysis, Communication Systems, Verification And Validation, System Design and Implementation, Data Modeling, Software Design, Software Architecture, Theoretical Computer Science, Network Protocols, Algorithms
Searches related to model checking
In summary, here are 10 of our most popular model checking courses
- Fundamentals of Model Checking: University of Colorado Boulder
- Quantitative Model Checking: 28DIGITAL
- Automated Reasoning: Symbolic Model Checking: 28DIGITAL
- Temporal Logic Model Checking : University of Colorado Boulder
- Model Checking with SAT and SMT : University of Colorado Boulder
- Introduction to Modeling for Formal Verification: University of Colorado Boulder
- Verification and Synthesis of Autonomous Systems: University of Colorado Boulder
- Introduction to Automated Analysis: University of Minnesota
- Logic for Computer Science: Birla Institute of Technology & Science, Pilani
- Foundations of Autonomous Systems: University of Colorado Boulder
