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

Results for "model checking"


  • 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

  • U

    University of Colorado Boulder

    Modeling of Autonomous Systems

    Skills you'll gain: Mathematical Modeling, Control Systems, Network Model, Mechanical Engineering, Systems Analysis, Automation, Real-Time Operating Systems, Differential Equations, Safety Assurance, Verification And Validation

    Build toward a degree

    3.5
    Rating, 3.5 out of 5 stars
    ·
    21 reviews

    Intermediate · Course · 1 - 3 Months

  • 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

  • C

    Coursera

    Secure AI Model Deployments & Lifecycles

    Skills you'll gain: Model Deployment, MLOps (Machine Learning Operations), AI Security, Cloud Deployment, DevOps, CI/CD, Artificial Intelligence and Machine Learning (AI/ML), System Monitoring, Software Versioning, Data-Driven Decision-Making

    Intermediate · Course · 1 - 4 Weeks

  • U

    Università di Napoli Federico II

    Modelling and simulation of mechanical systems

    Skills you'll gain: Simulation and Simulation Software, Mechanical Design, Mechanical Engineering, Control Systems, Computer Vision, Laboratory Experience, Robotics, Equipment Design, Experimentation, Matlab, Electronic Systems, Vibrations, Hydraulics, Mathematical Modeling, Automation

    4.4
    Rating, 4.4 out of 5 stars
    ·
    26 reviews

    Intermediate · Course · 1 - 4 Weeks

  • T

    The Hong Kong University of Science and Technology

    Software Engineering: Implementation and Testing

    Skills you'll gain: White-Box Testing, Acceptance Testing, Software Development Methodologies, Configuration Management, Debugging, Software Development Life Cycle, Software Testing, Software Development, Software Engineering, Unified Modeling Language, System Testing, Integration Testing, User Acceptance Testing (UAT), Unit Testing, Secure Coding, Test Case, Requirements Analysis, Waterfall Methodology, Agile Methodology, Project Management

    4.6
    Rating, 4.6 out of 5 stars
    ·
    133 reviews

    Intermediate · Course · 1 - 3 Months

  • P

    Packt

    Test-Driven Development in .NET Core - The Handbook

    Skills you'll gain: GitHub, Test Driven Development (TDD), Continuous Integration, ASP.NET, .NET Framework, Git (Version Control System), C# (Programming Language), Integration Testing, Maintainability, Data Access, Data Integrity, Debugging

    Intermediate · Course · 1 - 3 Months

  • I

    Imperial College London

    Building on the SIR Model

    Skills you'll gain: Mathematical Modeling, Statistical Modeling, Simulations, Risk Modeling, Epidemiology, Infectious Diseases, R Programming, Model Evaluation, Public Health

    4.7
    Rating, 4.7 out of 5 stars
    ·
    25 reviews

    Intermediate · Course · 1 - 4 Weeks

  • U

    University of Colorado Boulder

    Equivalences, Abstraction, and Partial Order Reduction

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

    Beginner · Course · 1 - 4 Weeks

  • C

    Corporate Finance Institute

    Advanced Tableau - Data Model

    Skills you'll gain: Star Schema, Data Modeling, Extract, Transform, Load, Performance Tuning, Tableau Software, Database Design, Data Warehousing, Data Transformation, Data Integration

    Advanced · Course · 1 - 3 Months

  • C

    Coursera

    Automate, Analyze, and Evaluate ML Experiments

    Skills you'll gain: MLOps (Machine Learning Operations), Model Evaluation, Key Performance Indicators (KPIs), Business Metrics, Performance Analysis, Performance Measurement, Responsible AI, Test Execution Engine, Performance Metric, Test Automation, Feature Engineering, Verification And Validation, Content Performance Analysis, Machine Learning, Data Ethics, Quality Assessment, Gap Analysis, Cost Benefit Analysis, Research Design, Quantitative Research

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    OpenAI Assistant: Create a Code to UML-Diagram generator

    Skills you'll gain: OpenAI API, ChatGPT, Unified Modeling Language, LLM Application, Prompt Engineering, Software Visualization, Technical Communication, User Story, Application Programming Interface (API), Development Environment

    Intermediate · Guided Project · Less Than 2 Hours

Searches related to model checking

temporal logic model checking
quantitative model checking
1…789…370

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

  • Track and Evaluate ML Model Experiments: Coursera
  • Modeling of Autonomous Systems: University of Colorado Boulder
  • Partition & Monitor AI Models Effectively: Coursera
  • Secure AI Model Deployments & Lifecycles: Coursera
  • Modelling and simulation of mechanical systems: Università di Napoli Federico II
  • Software Engineering: Implementation and Testing: The Hong Kong University of Science and Technology
  • Test-Driven Development in .NET Core - The Handbook: Packt
  • Building on the SIR Model: Imperial College London
  • Equivalences, Abstraction, and Partial Order Reduction: University of Colorado Boulder
  • Advanced Tableau - Data Model: Corporate Finance Institute

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