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

Results for "quantitative model checking"


  • U

    University of Minnesota

    Introduction to Automated Analysis

    Skills you'll gain: Test Automation, Regression Testing, Software Testing, Software Development Tools, Software Engineering Tools, Test Script Development, Test Tools, Computer Programming Tools, White-Box Testing, Code Coverage, Security Testing, Verification And Validation, Test Case, Test Data, Automation, Functional Requirement, Application Security, Vulnerability Scanning

    ★ 4.2 (86) · Intermediate · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • 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 (15) · Intermediate · Course · 1 - 4 Weeks

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

    Coursera

    Tidymodels in R: Building tidy machine learning models

    Skills you'll gain: Tidyverse (R Package), Model Evaluation, Data Visualization, Clinical Data Management, Statistical Visualization, Data Preprocessing, Model Deployment, Data Manipulation, Data Wrangling, Model Training, Predictive Modeling, Model Optimization, R Programming, Data Processing, R (Software), Ggplot2, Predictive Analytics, Data Pipelines, Machine Learning Methods, Machine Learning

    Intermediate · Guided Project · Less Than 2 Hours

    Category: Credit offered
    Credit offered
  • B

    Banco Interamericano de Desarrollo

    Qualitative and Quantitative Analysis of Disaster Risk

    Skills you'll gain: Failure Analysis, Risk Analysis, Risk Modeling, Failure Mode And Effects Analysis, Risk Management, Hazard Analysis, Project Risk Management, Vulnerability Assessments, Climate Change Adaptation, Data Analysis Software, Qualitative Research, Resilience

    ★ 4.7 (69) · Advanced · Course · 1 - 4 Weeks

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

    Coursera

    MCP - Model Content Protocol

    Skills you'll gain: Model Context Protocol, AI Integrations, AI Security, Enterprise Architecture, Scalability, Software Architecture, Systems Architecture, Servers, Interoperability, Server Side, Authentications, System Design and Implementation, Enterprise Security, Performance Tuning

    Advanced · Course · 1 - 4 Weeks

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • 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 (905) · Beginner · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • 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 (552) · Intermediate · Course · 1 - 3 Months

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

    Coursera

    ML Model Training & Validation

    Skills you'll gain: MLOps (Machine Learning Operations), Data Pipelines, Model Evaluation, Systems Design, Transfer Learning, Data Preprocessing, Data Quality, Feature Engineering, Deep Learning, Python Programming, Data Validation, Scikit Learn (Machine Learning Library), Applied Machine Learning, Predictive Modeling, Software Engineering, Debugging, Supervised Learning, Git (Version Control System), Performance Metric, Statistical Analysis

    Intermediate · Specialization · 1 - 3 Months

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

    Duke University

    Large Language Model Operations (LLMOps)

    Skills you'll gain: Prompt Engineering, Databricks, Large Language Modeling, Model Deployment, LLM Application, Generative AI, Retrieval-Augmented Generation, Generative Model Architectures, Apache Airflow, Hugging Face, Amazon Bedrock, Vector Databases, Data Lakes, ChatGPT, Extract, Transform, Load, OpenAI, MLOps (Machine Learning Operations), Performance Tuning, Prompt Patterns, OpenAI API

    ★ 4.4 (313) · Beginner · Specialization · 3 - 6 Months

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

    Coursera

    GenAI and Model Selection

    Skills you'll gain: Generative Model Architectures, Generative AI, Generative Adversarial Networks (GANs), Applied Machine Learning, AI literacy, AI Integrations, Strategic Decision-Making, Innovation

    Intermediate · Course · 1 - 4 Weeks

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

    Vanderbilt University

    AI Agents with Model Context Protocol

    Skills you'll gain: Claude Code, Prompt Engineering, Model Context Protocol, ChatGPT, Prompt Patterns, Anthropic Claude, Token Optimization, AI Workflows, Prompt Engineering Tools, Generative AI Agents, Multimodal Prompts, Agentic Workflows, AI Orchestration, AI Enablement, Generative AI, Artificial Intelligence and Machine Learning (AI/ML), AI Security, Agentic systems, AI Product Strategy, AI Personalization

    ★ 4.8 (8K) · Beginner · Specialization · 3 - 6 Months

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
1…91011…446

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

  • Introduction to Automated Analysis: University of Minnesota
  • Introducing Model-Driven Programmability: Cisco Learning and Certifications
  • Tidymodels in R: Building tidy machine learning models: Coursera
  • Qualitative and Quantitative Analysis of Disaster Risk: Banco Interamericano de Desarrollo
  • Business Model & Product Pitch: University of Minnesota
  • MCP - Model Content Protocol: Coursera
  • MBSE: Model-Based Systems Engineering : University at Buffalo
  • Equivalent Circuit Cell Model Simulation: University of Colorado Boulder
  • ML Model Training & Validation: Coursera
  • Large Language Model Operations (LLMOps): Duke University

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