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

Results for "model checking"


  • M

    MathWorks

    Modeling and Simulation with Simulink

    Skills you'll gain: Simulation and Simulation Software, Control Systems, Model Based Systems Engineering, Simulations, Mathematical Modeling, Engineering Analysis, Data Import/Export, Systems Engineering, Model Optimization

    ★ 4.8 (58) · Beginner · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • 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 Optimization, Responsible AI

    Intermediate · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • C

    Coursera

    Partition & Monitor AI Models Effectively

    Skills you'll gain: MLOps (Machine Learning Operations), Model Training, Data Integrity, Machine Learning, Artificial Intelligence and Machine Learning (AI/ML), Artificial Intelligence, Probability & Statistics

    Intermediate · Course · 1 - 4 Weeks

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • C

    Coursera

    Automate, Evaluate and Deploy ML Models Confidently

    Skills you'll gain: MLOps (Machine Learning Operations), Model Deployment, Scalability, Model Optimization, CI/CD, Continuous Deployment, Machine Learning Software, Continuous Delivery, Model Training, DevOps, Artificial Intelligence and Machine Learning (AI/ML), Model Evaluation, Continuous Integration, Performance Measurement, Business Metrics, Automation, Business Priorities, Performance Analysis, YAML

    Advanced · Course · 1 - 4 Weeks

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • 2

    28DIGITAL

    System Validation (2): Model process behaviour

    Skills you'll gain: Verification And Validation, Embedded Software, Process Modeling, Software Systems, Systems Analysis, Computational Logic, Distributed Computing, Theoretical Computer Science, Data Modeling, Maintainability, Algorithms, Logical Reasoning

    ★ 4.1 (10) · Intermediate · Course · 1 - 4 Weeks

    Category: Credit offered
    Credit offered
  • C

    Coursera

    Model Evaluation and Benchmarking

    Skills you'll gain: Generative AI, Model Evaluation, Dashboard Creation, Dashboard, Image Quality, Embeddings, Image Analysis, Large Language Modeling, Data Visualization, Continuous Monitoring

    Intermediate · Course · 1 - 4 Weeks

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • U

    University of Colorado Boulder

    Real-Time Embedded Systems Theory and Analysis

    Skills you'll gain: Real-Time Operating Systems, Embedded Systems, Embedded Software, System Programming, System Design and Implementation, Software Design, OS Process Management, Linux, Systems Analysis, Test Tools, Theoretical Computer Science, Verification And Validation, Algorithms

    ★ 4.3 (20) · Advanced · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • A

    Alex Genadinik

    2026 Fixing AI Errors & Hallucinations, And Fact-Checking

    Skills you'll gain: Prompt Engineering, Debugging, Code Review, AI literacy, Responsible AI, LLM Application, Verification And Validation, ChatGPT, Artificial Intelligence, AI Workflows, Software Testing

    Mixed · Course · 1 - 4 Weeks

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • 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

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • C

    Coursera

    Track and Evaluate ML Model Experiments

    Skills you'll gain: MLOps (Machine Learning Operations), Model Evaluation, Model Training, Model Deployment, Version Control, Large Language Modeling, Predictive Modeling, Data Management, Dashboard, Interactive Data Visualization, Machine Learning, Record Keeping, Performance Analysis

    Intermediate · Course · 1 - 4 Weeks

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • 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

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • U

    University of Colorado Boulder

    Modeling and Debugging Embedded Systems

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

    ★ 4.6 (244) · Intermediate · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Build toward a degree
    Build toward a degree
1…678…427

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

  • Modeling and Simulation with Simulink : MathWorks
  • Machine Learning Operations with Vertex AI: Model Evaluation: Google Cloud
  • Partition & Monitor AI Models Effectively: Coursera
  • Automate, Evaluate and Deploy ML Models Confidently: Coursera
  • System Validation (2): Model process behaviour: 28DIGITAL
  • Model Evaluation and Benchmarking: Coursera
  • Real-Time Embedded Systems Theory and Analysis: University of Colorado Boulder
  • 2026 Fixing AI Errors & Hallucinations, And Fact-Checking: Alex Genadinik
  • CSC: Secure Software Testing and Maintenance: CertNexus
  • Track and Evaluate ML Model Experiments: 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