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


Results for "model+checking"


  • Status: New
    New
    Status: Preview
    Preview
    U

    University of Colorado Boulder

    Model Checking with SAT and SMT

    Skills you'll gain: Graph Theory, Model Evaluation, Arithmetic

    Beginner · Course · 1 - 4 Weeks

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

  • Status: Free Trial
    Free Trial
    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

  • Status: Free Trial
    Free Trial
    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

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

    Coursera

    Track and Evaluate ML Model Experiments

    Skills you'll gain: MLOps (Machine Learning Operations), Model Evaluation, Version Control, Large Language Modeling, Git (Version Control System), Data Management, Performance Testing, Dashboard, Machine Learning, Scripting, Performance Analysis, Technical Documentation

    Intermediate · Course · 1 - 4 Weeks

  • M

    MathWorks

    Modeling and Simulation with Simulink

    Skills you'll gain: Simulation and Simulation Software, Control Systems, Model Based Systems Engineering, Engineering Design Process, Mathematical Modeling, Engineering Analysis, Systems Analysis, Test Case, Systems Design, Performance Tuning, Automation Engineering, Matlab

    4.8
    Rating, 4.8 out of 5 stars
    ·
    53 reviews

    Beginner · Course · 1 - 4 Weeks

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

    Coursera

    Regression: Identify Assumptions & Apply Models

    Skills you'll gain: Regression Analysis, Financial Forecasting, Model Evaluation, Data Presentation, Technical Communication, Exploratory Data Analysis, Statistical Programming, R Programming, Statistical Modeling, Predictive Modeling, R (Software), Statistical Analysis, Verification And Validation, Plot (Graphics), Reliability

    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, Responsible AI, Risk Control, Risk Management, AI Security, Business Risk Management, Model Evaluation, Risk Mitigation, Governance, Compliance Auditing, Risk Analysis, Regulatory Requirements, Process Validation, Gap Analysis, Verification And Validation, Auditing, Key Performance Indicators (KPIs)

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Preview
    Preview
    C

    Coursera

    Securing Applications with Checkmarx

    Skills you'll gain: Secure Coding, Open Web Application Security Project (OWASP), DevSecOps, Security Testing, Application Security, Vulnerability Scanning, Vulnerability Assessments, Vulnerability Management, CI/CD, Continuous Monitoring, Docker (Software), Technical Communication, Computer Programming

    Intermediate · Course · 1 - 4 Weeks

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

    Coursera

    Partition & Monitor AI Models Effectively

    Skills you'll gain: MLOps (Machine Learning Operations), Data Integrity, Data Quality, Data Maintenance, System Monitoring, Machine Learning, Artificial Intelligence and Machine Learning (AI/ML), Artificial Intelligence

    Intermediate · Course · 1 - 4 Weeks

  • 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

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

1234…9

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

  • Model Checking with SAT and SMT : University of Colorado Boulder
  • Automate, Evaluate and Deploy ML Models Confidently: Coursera
  • Temporal Logic Model Checking : University of Colorado Boulder
  • Introduction to Modeling for Formal Verification: University of Colorado Boulder
  • Track and Evaluate ML Model Experiments: Coursera
  • Modeling and Simulation with Simulink : MathWorks
  • Regression: Identify Assumptions & Apply Models: Coursera
  • AI Model Risk Management: Coursera
  • Securing Applications with Checkmarx: Coursera
  • Partition & Monitor AI Models Effectively: 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

  • Artificial Intelligence (AI)
  • Cybersecurity
  • Data Analytics
  • Digital Marketing
  • English Speaking
  • Generative AI (GenAI)
  • Microsoft Excel
  • Microsoft Power BI
  • Project Management
  • Python

Certificates & Programs

  • Google Cybersecurity Certificate
  • Google Data Analytics Certificate
  • Google IT Support Certificate
  • Google Project Management Certificate
  • Google UX Design Certificate
  • IBM Data Analyst Certificate
  • IBM Data Science Certificate
  • Machine Learning Certificate
  • Microsoft Power BI Data Analyst Certificate
  • UI / UX Design Certificate

Industries & Careers

  • Business
  • Computer Science
  • Data Science
  • Education & Teaching
  • Engineering
  • Finance
  • Healthcare
  • Human Resources (HR)
  • Information Technology (IT)
  • Marketing

Career Resources

  • Career Aptitude Test
  • Examples of Strengths and Weaknesses for Job Interviews
  • High-Income Skills to Learn
  • How Does Cryptocurrency Work?
  • How to Highlight Duplicates in Google Sheets
  • How to Learn Artificial Intelligence
  • Popular Cybersecurity Certifications
  • Preparing for the PMP Certification
  • Signs You Will Get the Job After an Interview
  • What Is Artificial Intelligence?

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