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

Results for "model checking"


  • Status: Free
    Free
    D

    DeepLearning.AI

    How Diffusion Models Work

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

    4.6
    Rating, 4.6 out of 5 stars
    ·
    279 reviews

    Intermediate · Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    U

    University at Buffalo

    MBSE: Model-Based Systems Engineering

    Skills you'll gain: Model Based Systems Engineering, Systems Engineering, Systems Design, Enterprise Modeling, Manufacturing Processes, Manufacturing and Production, Product Lifecycle Management, Verification And Validation, Process Analysis

    4.4
    Rating, 4.4 out of 5 stars
    ·
    905 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Engineering Genetic Circuits: Abstraction Methods

    Skills you'll gain: Markov Model, Mathematical Modeling, Failure Analysis, Electrical and Computer Engineering, Biological Engineering, Process Modeling, Hazard Analysis, Simulations, Model Evaluation

    Build toward a degree

    Intermediate · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Equivalences, Abstraction, and Partial Order Reduction

    Skills you'll gain: Verification And Validation, Computational Thinking, Systems Design, Systems Analysis, Model Optimization, Software Design, Computer Architecture, Software Quality (SQA/SQC), Logical Reasoning

    Beginner · Course · 1 - 4 Weeks

  • 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, Process Modeling

    4.4
    Rating, 4.4 out of 5 stars
    ·
    182 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, Computational Logic, Systems Design, Process Modeling, Data Modeling, Software Design, Theoretical Computer Science, Network Protocols

    4.6
    Rating, 4.6 out of 5 stars
    ·
    13 reviews

    Advanced · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    C

    Corporate Finance Institute

    Advanced Tableau - Data Model

    Skills you'll gain: Star Schema, Data Modeling, Extract, Transform, Load, Performance Tuning, Tableau Software, Model Optimization, Data Warehousing, Data Visualization Software, Relational Databases, Data Integration

    Advanced · Course · 1 - 3 Months

  • Status: Preview
    Preview
    U

    University of California, Santa Cruz

    Cyber-Physical Systems: Modeling and Simulation

    Skills you'll gain: Systems Design, Model Based Systems Engineering, Simulation and Simulation Software, Cyber Engineering, Mathematical Modeling, Simulations, Network Model, Systems Analysis, Computational Logic, Data Mapping, Differential Equations

    4.6
    Rating, 4.6 out of 5 stars
    ·
    55 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    AI Model Risk Management

    Skills you'll gain: Governance Risk Management and Compliance, Compliance Management, Risk Management Framework, Responsible AI, Operational Risk, Risk Control, Risk Management, Legal Risk, Model Evaluation, Risk Mitigation, Compliance Reporting, Governance, Regulatory Compliance, Compliance Auditing, Risk Analysis, Corrective and Preventive Action (CAPA), Continuous Monitoring, Process Validation, Verification And Validation, Auditing

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    Università di Napoli Federico II

    Modelling and simulation of mechanical systems

    Skills you'll gain: Machine Controls, Simulation and Simulation Software, Model Based Systems Engineering, Mechanical Engineering, Control Systems, Computer Vision, Laboratory Experience, Simulations, Image Analysis, Robotics, Experimentation, Matlab, Electronic Systems, Vibrations, Hydraulics, Mathematical Modeling, Engineering Analysis, Automation, Model Evaluation, Data Validation

    4.5
    Rating, 4.5 out of 5 stars
    ·
    28 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Evaluate LLMs: Test and Prove Significance

    Skills you'll gain: Statistical Visualization, Model Evaluation, Data Presentation, Scientific Visualization, Statistical Hypothesis Testing, Model Deployment, Statistical Analysis, Statistical Software, Data Storytelling, Large Language Modeling, Statistical Methods, Data-Driven Decision-Making, Statistical Programming, Matplotlib, Statistical Inference, Statistics, Experimentation, Performance Metric

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    University of Michigan

    Model Thinking

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

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

    Intermediate · Course · 1 - 3 Months

1…789…426

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

  • How Diffusion Models Work: DeepLearning.AI
  • MBSE: Model-Based Systems Engineering : University at Buffalo
  • Engineering Genetic Circuits: Abstraction Methods: University of Colorado Boulder
  • Equivalences, Abstraction, and Partial Order Reduction: University of Colorado Boulder
  • System Validation: Automata and behavioural equivalences: 28DIGITAL
  • System Validation (4): Modelling Software, Protocols, and other behaviour: 28DIGITAL
  • Advanced Tableau - Data Model: Corporate Finance Institute
  • Cyber-Physical Systems: Modeling and Simulation: University of California, Santa Cruz
  • AI Model Risk Management: Coursera
  • Modelling and simulation of mechanical systems: Università di Napoli Federico II

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