• For Individuals
  • For Businesses
  • For Universities
  • For Governments
Coursera
  • Online Degrees
  • Careers
  • Log In
  • Join for Free
    Coursera
    • Browse
    • Quantitative Model Checking
    Skip to search results

    Filter by

    Subject
    Required
     *

    Language
    Required
     *

    The language used throughout the course, in both instruction and assessments.

    Learning Product
    Required
     *

    Level
    Required
     *

    Duration
    Required
     *

    Skills
    Required
     *

    Subtitles
    Required
     *

    Educator
    Required
     *

    Results for "quantitative model checking"

    • E

      EIT Digital

      Quantitative Formal Modeling and Worst-Case Performance Analysis

      Skills you'll gain: Computational Thinking, Theoretical Computer Science, Mathematical Modeling, Dataflow, Mathematical Theory & Analysis, Systems Analysis, Performance Testing, Network Model, Embedded Systems, Graph Theory

      4.4
      Rating, 4.4 out of 5 stars
      ·
      44 reviews

      Mixed · Course · 1 - 3 Months

    • Status: Free Trial
      Free Trial
      I

      Imperial College London

      Developing the SIR Model

      Skills you'll gain: Epidemiology, Infectious Diseases, Mathematical Modeling, Public Health, R Programming, Differential Equations

      4.8
      Rating, 4.8 out of 5 stars
      ·
      272 reviews

      Intermediate · Course · 1 - 4 Weeks

    • Status: Preview
      Preview
      M

      MathWorks

      Designing and Simulating Physical Models

      Skills you'll gain: Model Based Systems Engineering, Systems Integration, Engineering Design Process, Simulation and Simulation Software, Mathematical Modeling, Engineering Analysis, Matlab, Engineering Software, Engineering, Mechanical Engineering, Electrical Engineering, Control Systems

      5
      Rating, 5 out of 5 stars
      ·
      6 reviews

      Beginner · Course · 1 - 4 Weeks

    • P

      Packt

      Software Security Testing

      Skills you'll gain: Software Testing, Business Logic, Secure Coding, Cryptography, Cybersecurity, Identity and Access Management, Authentications, Vulnerability Assessments, Encryption, Data Validation, Network Protocols, Authorization (Computing), Web Applications

      Intermediate · Course · 1 - 4 Weeks

    • Status: Free Trial
      Free Trial
      I

      Imperial College London

      Building on the SIR Model

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

      4.7
      Rating, 4.7 out of 5 stars
      ·
      23 reviews

      Intermediate · Course · 1 - 4 Weeks

    • Status: Free Trial
      Free Trial
      J

      Johns Hopkins University

      Modeling Data in the Tidyverse

      Skills you'll gain: Statistical Modeling, Exploratory Data Analysis, R Programming, Predictive Modeling, Statistical Hypothesis Testing, Tidyverse (R Package), Data Analysis, Data Modeling, Data-Driven Decision-Making, Regression Analysis, Data Science, Classification And Regression Tree (CART), Statistical Inference, Statistical Analysis, Rmarkdown, Statistical Methods, Machine Learning

      4.7
      Rating, 4.7 out of 5 stars
      ·
      9 reviews

      Mixed · Course · 1 - 3 Months

    • Status: Free
      Free
      D

      DeepLearning.AI

      Quantization in Depth

      Skills you'll gain: PyTorch (Machine Learning Library), Dimensionality Reduction

      4.7
      Rating, 4.7 out of 5 stars
      ·
      6 reviews

      Intermediate · Project · Less Than 2 Hours

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

      Advanced · Course · 1 - 3 Months

    • Status: Free
      Free
      D

      DeepLearning.AI

      Quantization Fundamentals with Hugging Face

      Skills you'll gain: Generative AI, Large Language Modeling, Performance Tuning, PyTorch (Machine Learning Library), Applied Machine Learning

      4.9
      Rating, 4.9 out of 5 stars
      ·
      13 reviews

      Beginner · Project · Less Than 2 Hours

    • Status: Free Trial
      Free Trial
      C

      Coursera Instructor Network

      GenAI and Model Selection

      Skills you'll gain: Generative AI, Applied Machine Learning, Large Language Modeling, Strategic Decision-Making, Machine Learning, Integration Testing, Systems Integration, Scalability, Innovation

      Intermediate · Course · 1 - 4 Weeks

    • E

      EIT Digital

      System Validation (3): Requirements by modal formulas

      Skills you'll gain: Verification And Validation, Computational Logic, System Requirements, Data Validation, Functional Requirement, Theoretical Computer Science

      4.5
      Rating, 4.5 out of 5 stars
      ·
      13 reviews

      Advanced · Course · 1 - 4 Weeks

    • E

      EIT Digital

      System Validation (2): Model process behaviour

      Skills you'll gain: Verification And Validation, Systems Analysis, Systems Design, Mathematical Modeling, Programming Principles, Data Structures, Theoretical Computer Science, Distributed Computing, Algorithms

      4.1
      Rating, 4.1 out of 5 stars
      ·
      10 reviews

      Intermediate · Course · 1 - 4 Weeks

    1…8910…242

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

    • Quantitative Formal Modeling and Worst-Case Performance Analysis: EIT Digital
    • Developing the SIR Model: Imperial College London
    • Designing and Simulating Physical Models: MathWorks
    • Software Security Testing: Packt
    • Building on the SIR Model: Imperial College London
    • Modeling Data in the Tidyverse: Johns Hopkins University
    • Quantization in Depth: DeepLearning.AI
    • Advanced Tableau - Data Model: Corporate Finance Institute
    • Quantization Fundamentals with Hugging Face: DeepLearning.AI
    • GenAI and Model Selection: Coursera Instructor Network

    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

    Technical Skills

    • ChatGPT
    • Coding
    • Computer Science
    • Cybersecurity
    • DevOps
    • Ethical Hacking
    • Generative AI
    • Java Programming
    • Python
    • Web Development

    Analytical Skills

    • Artificial Intelligence
    • Big Data
    • Business Analysis
    • Data Analytics
    • Data Science
    • Financial Modeling
    • Machine Learning
    • Microsoft Excel
    • Microsoft Power BI
    • SQL

    Business Skills

    • Accounting
    • Digital Marketing
    • E-commerce
    • Finance
    • Google
    • Graphic Design
    • IBM
    • Marketing
    • Project Management
    • Social Media Marketing

    Career Resources

    • Essential IT Certifications
    • High-Income Skills to Learn
    • How to Get a PMP Certification
    • How to Learn Artificial Intelligence
    • Popular Cybersecurity Certifications
    • Popular Data Analytics Certifications
    • What Does a Data Analyst Do?
    • Career Development Resources
    • Career Aptitude Test
    • Share your Coursera Learning Story

    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
    • ECTS Credit Recommendations

    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
    © 2025 Coursera Inc. All rights reserved.
    • Coursera Facebook
    • Coursera Linkedin
    • Coursera Twitter
    • Coursera YouTube
    • Coursera Instagram
    • Coursera TikTok