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

Results for "model checking"


  • 2

    28DIGITAL

    System Validation: Automata and behavioural equivalences

    Skills you'll gain: Verification And Validation, Theoretical Computer Science, Software Systems, Communication Systems, Systems Analysis, System Design and Implementation, Embedded Systems

    4.4
    Rating, 4.4 out of 5 stars
    ·
    182 reviews

    Intermediate · Course · 1 - 4 Weeks

  • U

    University of Michigan

    Model Thinking

    Skills you'll gain: Mathematical Modeling, Systems Thinking, Strategic Decision-Making, Innovation, Social Sciences, Strategic Thinking, Decision Making, Complex Problem Solving, Critical Thinking, Network Analysis, Economics, Probability, Market Dynamics

    4.8
    Rating, 4.8 out of 5 stars
    ·
    2.3K reviews

    Intermediate · Course · 1 - 3 Months

  • U

    University of Colorado Boulder

    Engineering Genetic Circuits: Abstraction Methods

    Skills you'll gain: Markov Model, Engineering Analysis, Mathematical Modeling, Computational Thinking, Failure Analysis, Biological Engineering, Hazard Analysis, Simulations, Chemical Engineering, Model Evaluation, Applied Mathematics, Differential Equations, Probability

    Build toward a degree

    Intermediate · Course · 1 - 3 Months

  • G

    Google Cloud

    Model Armor:保護您部署的 AI 應用程式

    Skills you'll gain: AI Security, Large Language Modeling, Open Web Application Security Project (OWASP), Application Security, Model Deployment, Security Controls, Security Software, Prompt Engineering, Data Security, Integration Testing, API Testing, Application Programming Interface (API), System Configuration

    Beginner · Course · 1 - 3 Months

  • A

    Alex Genadinik

    AI Errors & Hallucinations: Debugging & Fact-Checking

    Skills you'll gain: Prompt Engineering, Debugging, Claude Code, Responsible AI, Verification And Validation, ChatGPT, Artificial Intelligence, Development Testing, Software Testing

    Mixed · Course · 1 - 4 Weeks

  • G

    Google Cloud

    Machine Learning Operations with Vertex AI: Model Evaluation

    Skills you'll gain: Model Evaluation, MLOps (Machine Learning Operations), Generative AI, Continuous Monitoring, Model Deployment, Data Ethics, Scalability

    Intermediate · Course · 1 - 4 Weeks

  • D

    DeepLearning.AI

    How Diffusion Models Work

    Skills you'll gain: Generative AI, Generative Model Architectures, Jupyter, Sampling (Statistics), Artificial Neural Networks, Algorithms

    4.6
    Rating, 4.6 out of 5 stars
    ·
    279 reviews

    Intermediate · Project · Less Than 2 Hours

  • U

    University of Colorado Boulder

    Modeling and Debugging Embedded Systems

    Skills you'll gain: Embedded Software, Embedded Systems, Debugging, Model Based Systems Engineering, Computer Engineering, Failure Analysis, Simulation and Simulation Software, Technical Communication, Electronics Engineering, Automation Engineering

    Build toward a degree

    4.6
    Rating, 4.6 out of 5 stars
    ·
    244 reviews

    Intermediate · Course · 1 - 4 Weeks

  • C

    CertNexus

    CSC: Secure Software Testing and Maintenance

    Skills you'll gain: Security Testing, Application Security, Open Web Application Security Project (OWASP), Software Testing, Secure Coding, Test Tools, Regression Testing, Unit Testing, Penetration Testing, Security Controls, Computer Security, Test Driven Development (TDD), Debugging, User Acceptance Testing (UAT), Computer Programming, Python Programming, Node.JS, Information Privacy, JavaScript Frameworks, Javascript

    Mixed · Course · 1 - 4 Weeks

  • C

    Coursera

    Safeguard LLM Outputs: Test and Evaluate

    Skills you'll gain: AI Security, Responsible AI, LLM Application, Unit Testing, Verification And Validation, API Testing, Test Case, Security Testing, Software Testing, Code Coverage, Large Language Modeling, Model Evaluation, Test Tools, Test Script Development, Prompt Engineering, Threat Modeling, Penetration Testing, Maintainability, Software Technical Review, Quality Assessment

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Automate, Evaluate and Deploy ML Models Confidently

    Skills you'll gain: MLOps (Machine Learning Operations), Model Deployment, Scalability, CI/CD, Continuous Deployment, Application Deployment, DevOps, Artificial Intelligence and Machine Learning (AI/ML), Model Evaluation, Continuous Integration, Performance Measurement, Business Metrics, Process Optimization, Verification And Validation, Automation, Key Performance Indicators (KPIs), Performance Analysis, Data-Driven Decision-Making

    Advanced · Course · 1 - 4 Weeks

  • 2

    28DIGITAL

    System Validation (3): Requirements by modal formulas

    Skills you'll gain: Verification And Validation, Computational Logic, System Requirements, Data Validation, Functional Requirement, Systems Design, Theoretical Computer Science

    4.5
    Rating, 4.5 out of 5 stars
    ·
    13 reviews

    Advanced · Course · 1 - 4 Weeks

1…678…374

In summary, here are 10 of our most popular model checking courses

  • System Validation: Automata and behavioural equivalences: 28DIGITAL
  • Model Thinking: University of Michigan
  • Engineering Genetic Circuits: Abstraction Methods: University of Colorado Boulder
  • Model Armor:保護您部署的 AI 應用程式: Google Cloud
  • AI Errors & Hallucinations: Debugging & Fact-Checking: Alex Genadinik
  • Machine Learning Operations with Vertex AI: Model Evaluation: Google Cloud
  • How Diffusion Models Work: DeepLearning.AI
  • Modeling and Debugging Embedded Systems: University of Colorado Boulder
  • CSC: Secure Software Testing and Maintenance: CertNexus
  • Safeguard LLM Outputs: Test and Evaluate: Coursera

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