• For Individuals
  • For Businesses
  • For Universities
  • For Governments
Degrees
​
Log In
Join for Free
  • Browse
  • Model Checking

Results for "model checking"


  • U

    University of Colorado Boulder

    Fundamentals of Model Checking

    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

    4.7
    Rating, 4.7 out of 5 stars
    ·
    11 reviews

    Beginner · Specialization · 1 - 3 Months

  • 2

    28DIGITAL

    Quantitative Model Checking

    Skills you'll gain: Computational Logic, Markov Model, Verification And Validation, Theoretical Computer Science, Mathematical Modeling, Systems Analysis, Statistical Modeling, Probability, Algorithms, Probability Distribution

    4.3
    Rating, 4.3 out of 5 stars
    ·
    54 reviews

    Intermediate · Course · 1 - 3 Months

  • 2

    28DIGITAL

    Automated Reasoning: Symbolic Model Checking

    Skills you'll gain: Computational Logic, Theoretical Computer Science, Model Evaluation, Systems Analysis, Graph Theory, Verification And Validation, Algorithms, Data Structures

    4.7
    Rating, 4.7 out of 5 stars
    ·
    26 reviews

    Intermediate · Course · 1 - 4 Weeks

  • U

    University of Colorado Boulder

    Temporal Logic Model Checking

    Skills you'll gain: Computational Logic, Verification And Validation, Theoretical Computer Science, Systems Design, Model Evaluation, Simulations, Algorithms, Safety and Security

    Beginner · Course · 1 - 4 Weeks

  • U

    University of Colorado Boulder

    Model Checking with SAT and SMT

    Skills you'll gain: Graph Theory, Arithmetic

    Beginner · Course · 1 - 4 Weeks

  • U

    University of Colorado Boulder

    Introduction to Modeling for Formal Verification

    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

    4.7
    Rating, 4.7 out of 5 stars
    ·
    11 reviews

    Beginner · Course · 1 - 4 Weeks

What brings you to Coursera today?

  • U

    University of Colorado Boulder

    Verification and Synthesis of Autonomous Systems

    Skills you'll gain: Verification And Validation, Computational Logic, Theoretical Computer Science, Automation, Agentic systems, System Requirements, Robotics, Artificial Intelligence, Algorithms

    Build toward a degree

    3.8
    Rating, 3.8 out of 5 stars
    ·
    11 reviews

    Intermediate · Course · 1 - 3 Months

  • U

    University of Minnesota

    Introduction to Automated Analysis

    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

    4.2
    Rating, 4.2 out of 5 stars
    ·
    86 reviews

    Intermediate · Course · 1 - 4 Weeks

  • B

    Birla Institute of Technology & Science, Pilani

    Logic for Computer Science

    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

    Beginner · Course · 1 - 3 Months

  • U

    University of Colorado Boulder

    Foundations of Autonomous Systems

    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

    Build toward a degree

    3.6
    Rating, 3.6 out of 5 stars
    ·
    35 reviews

    Intermediate · Specialization · 3 - 6 Months

  • 2

    28DIGITAL

    System Validation (2): Model process behaviour

    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

    4.1
    Rating, 4.1 out of 5 stars
    ·
    10 reviews

    Intermediate · Course · 1 - 4 Weeks

  • 2

    28DIGITAL

    System Validation (4): Modelling Software, Protocols, and other behaviour

    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

    4.6
    Rating, 4.6 out of 5 stars
    ·
    13 reviews

    Advanced · Course · 1 - 4 Weeks

Searches related to model checking

temporal logic model checking
1234…372

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

Other topics to explore

Arts and Humanities
338 courses
Business
1095 courses
Computer Science
668 courses
Data Science
425 courses
Information Technology
145 courses
Health
471 courses
Math and Logic
70 courses
Personal Development
137 courses
Physical Science and Engineering
413 courses
Social Sciences
401 courses
Language Learning
150 courses

Coursera Footer

Skills

  • Accounting
  • Artificial Intelligence (AI)
  • Cybersecurity
  • Data Analytics
  • Digital Marketing
  • Human Resources (HR)
  • Microsoft Excel
  • Project Management
  • Python
  • SQL

Professional Certificates

  • Google AI Certificate
  • Google Cybersecurity Certificate
  • Google Data Analytics Certificate
  • Google IT Support Certificate
  • Google Project Management Certificate
  • Google UX Design Certificate
  • IBM AI Engineering Certificate
  • IBM AI Product Manager Certificate
  • IBM Data Science Certificate
  • Intuit Academy Bookkeeping Certificate

Courses & Specializations

  • AI Essentials Specialization
  • AI For Business Specialization
  • AI For Everyone Course
  • AI in Healthcare Specialization
  • Deep Learning Specialization
  • Excel Skills for Business Specialization
  • Financial Markets Course
  • Machine Learning Specialization
  • Prompt Engineering for ChatGPT Course
  • Python for Everybody Specialization

Career Resources

  • Career Aptitude Test
  • CAPM Certification Requirements
  • CompTIA A+ Certification Requirements
  • CompTIA Security+ Certification Requirements
  • Essential IT Certifications
  • Free IT Certifications and Courses
  • High-Income Skills to Learn
  • How to Learn Artificial Intelligence
  • PMP Certification Requirements
  • Popular Cybersecurity Certifications

Coursera

  • About
  • What We Offer
  • Leadership
  • Careers
  • Catalog
  • Coursera Plus
  • Professional Certificates
  • MasterTrack® Certificates
  • Degrees
  • For Enterprise
  • For Government
  • For Campus
  • Become a Partner
  • Social Impact
  • Free Courses
  • Share your Coursera learning story

Community

  • Learners
  • Partners
  • Beta Testers
  • Blog
  • The Coursera Podcast
  • Tech Blog

More

  • Press
  • Investors
  • Terms
  • Privacy
  • Help
  • Accessibility
  • Contact
  • Articles
  • Directory
  • Affiliates
  • Modern Slavery Statement
  • Do Not Sell/Share
Learn Anywhere
Download on the App Store
Get it on Google Play
Logo of Certified B Corporation
© 2026 Coursera Inc. All rights reserved.
  • Coursera Facebook
  • Coursera Linkedin
  • Coursera Twitter
  • Coursera YouTube
  • Coursera Instagram
  • Coursera TikTok