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

Results for "model checking"


  • Status: Free Trial
    Free Trial
    C

    Cisco Learning and Certifications

    Introducing Model-Driven Programmability

    Skills you'll gain: Network Model, Network Protocols, IT Automation, Network Routing, Data Modeling, Extensible Markup Language (XML), JSON, Automation, Restful API, Data Structures, Configuration Management

    4.8
    Rating, 4.8 out of 5 stars
    ·
    15 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Equivalent Circuit Cell Model Simulation

    Skills you'll gain: Simulation and Simulation Software, Simulations, Mathematical Modeling, Electrical Engineering, Power Electronics, Electronic Components, Electric Power Systems, Matlab, Model Optimization, Electrical Systems, Engineering Calculations, Laboratory Testing, Mathematical Software, Laboratory Research, Basic Electrical Systems, Estimation

    4.7
    Rating, 4.7 out of 5 stars
    ·
    552 reviews

    Intermediate · Course · 1 - 3 Months

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

    Coursera

    Evaluate & Swap Models in Java ML

    Skills you'll gain: Model Evaluation, MLOps (Machine Learning Operations), Classification Algorithms, Model Deployment, Machine Learning Software, Applied Machine Learning, Machine Learning Algorithms, Java, Software Design Patterns, Data-Driven Decision-Making, Logistic Regression, Business Metrics, Benchmarking, Decision Tree Learning, Matrix Management, Business

    Intermediate · Course · 1 - 4 Weeks

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

    Coursera

    Automate, Optimize, and Monitor ML Models

    Skills you'll gain: Model Optimization, Model Training, Data Pipelines

    Intermediate · Course · 1 - 4 Weeks

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

    Coursera

    Automate, Validate, and Promote ML Models Safely

    Skills you'll gain: MLOps (Machine Learning Operations), Responsible AI, CI/CD, Data Ethics, Model Deployment, Model Training, Continuous Integration, Continuous Delivery, Continuous Deployment, Cloud Platforms, Model Evaluation, Automation, Data Governance, Data Pipelines, Performance Tuning, Continuous Monitoring, Performance Analysis, Analysis

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    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, Apache Airflow, Performance Measurement, Responsible AI, Test Execution Engine, Performance Metric, Test Automation, Verification And Validation, Content Performance Analysis, Automation, Statistical Methods, 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, OpenAI, LLM Application, AI Integrations, Generative AI Agents, AI Workflows, Diagram Design, Prompt Engineering, Software Visualization, Technical Communication, User Story, Application Programming Interface (API), IT Automation, Software Development

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    U

    University of Minnesota

    Business Model & Product Pitch

    Skills you'll gain: Entrepreneurship, Growth Strategies, Entrepreneurial Finance, Business Planning, Product Planning, Cost Management, Product Development, New Product Development, Business Development, Value Propositions, Investments, Presentations, Customer Acquisition Management, Fundraising, Revenue Forecasting

    Beginner · Course · 1 - 3 Months

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

    Coursera

    Secure AI Model Deployments & Lifecycles

    Skills you'll gain: Model Deployment, MLOps (Machine Learning Operations), AI Security, Cloud Deployment, DevOps, CI/CD, AI Workflows, Artificial Intelligence and Machine Learning (AI/ML), Metadata Management, System Monitoring, Software Versioning, Incident Response

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Business Model Canvas

    Skills you'll gain: Target Audience, Target Market, Value Propositions, Operating Cost, Customer Analysis, Business Modeling, Strategic Partnership, Marketing Channel, Business Planning, Strategic Thinking, Entrepreneurship, Business Strategy, Resource Management, New Business Development, Resource Allocation, Revenue Management

    4.5
    Rating, 4.5 out of 5 stars
    ·
    58 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Free
    Free
    C

    Coursera

    Building an Ecosystem model with Insight Maker

    Skills you'll gain: Simulations, Simulation and Simulation Software, Systems Thinking, Data Sharing, Environmental Science, Mathematical Modeling, Interactive Data Visualization, Biology, Storytelling, Life Sciences

    4.7
    Rating, 4.7 out of 5 stars
    ·
    209 reviews

    Beginner · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    I

    Imperial College London

    Developing the SIR Model

    Skills you'll gain: Epidemiology, Infection Control, Infectious Diseases, Mathematical Modeling, Public Health and Disease Prevention, Public Health, R Programming, Differential Equations

    4.9
    Rating, 4.9 out of 5 stars
    ·
    274 reviews

    Intermediate · Course · 1 - 4 Weeks

1…8910…427

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

  • Introducing Model-Driven Programmability: Cisco Learning and Certifications
  • Equivalent Circuit Cell Model Simulation: University of Colorado Boulder
  • Evaluate & Swap Models in Java ML: Coursera
  • Automate, Optimize, and Monitor ML Models: Coursera
  • Automate, Validate, and Promote ML Models Safely: Coursera
  • Automate, Analyze, and Evaluate ML Experiments: Coursera
  • OpenAI Assistant: Create a Code to UML-Diagram generator: Coursera
  • Business Model & Product Pitch: University of Minnesota
  • Secure AI Model Deployments & Lifecycles: Coursera
  • Business Model Canvas: 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