• 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"

    • Status: New
      New
      Status: Free Trial
      Free Trial
      P

      Pearson

      Quick Start Guide to Large Language Models (LLMs): Unit 3

      Skills you'll gain: Large Language Modeling, Generative AI, MLOps (Machine Learning Operations), Deep Learning, PyTorch (Machine Learning Library), Application Deployment, Cloud Computing, Natural Language Processing, Reinforcement Learning, Image Analysis, Performance Tuning, Computer Vision

      Intermediate · Course · 1 - 4 Weeks

    • Status: New
      New
      G

      Google Cloud

      Model Armor: Securing AI Deployments

      Skills you'll gain: Threat Modeling, Open Web Application Security Project (OWASP), Large Language Modeling, Application Security, Secure Coding, Security Controls, Prompt Engineering, Google Cloud Platform, Systems Architecture, Application Programming Interface (API)

      Beginner · Course · 1 - 3 Months

    • Status: Free Trial
      Free Trial
      B

      Birla Institute of Technology & Science, Pilani

      Basic Engineering Mathematics

      Skills you'll gain: Engineering Calculations, Trigonometry, Engineering Analysis, Linear Algebra, Calculus, Differential Equations, Mathematical Modeling, Mathematical Theory & Analysis, Applied Mathematics, Algebra

      4.6
      Rating, 4.6 out of 5 stars
      ·
      153 reviews

      Beginner · Course · 1 - 3 Months

    • Status: Free Trial
      Free Trial
      U

      University of Colorado Boulder

      Foundations of Autonomous Systems

      Skills you'll gain: Computational Logic, Mathematical Modeling, Theoretical Computer Science, Systems Design, System Requirements, Verification And Validation, Systems Architecture, Network Model, Requirements Analysis, Systems Analysis, Software Systems, Automation, Simulations, Control Systems, Linear Algebra, Differential Equations, Computer Science, Real-Time Operating Systems, Hardware Architecture, Artificial Intelligence

      Build toward a degree

      3.5
      Rating, 3.5 out of 5 stars
      ·
      26 reviews

      Intermediate · Specialization · 3 - 6 Months

    • Status: New
      New
      Status: Preview
      Preview
      S

      Scrimba

      Intro to Model Context Protocol (MCP)

      Skills you'll gain: Generative AI Agents, Real Time Data, Debugging, Artificial Intelligence and Machine Learning (AI/ML), Artificial Intelligence, Data Access, Server Side, Generative AI, Cloud API, Application Programming Interface (API), Interoperability, Integrated Development Environments, Software Architecture

      Intermediate · Course · 1 - 4 Weeks

    • Status: New
      New
      Status: Preview
      Preview
      F

      Fractal Analytics

      Model Context Protocol (MCP) Mastery

      Skills you'll gain: Threat Modeling, Enterprise Architecture, Infrastructure Architecture, Application Security, Security Controls, Real Time Data, Generative AI Agents, Interoperability, Systems Architecture, Security Strategy, Agentic systems, Artificial Intelligence, Generative AI, Servers, Computer Programming

      4.5
      Rating, 4.5 out of 5 stars
      ·
      11 reviews

      Intermediate · Course · 1 - 4 Weeks

    • Status: Preview
      Preview
      M

      MathWorks

      Modeling and Simulation with Simulink

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

      4.9
      Rating, 4.9 out of 5 stars
      ·
      37 reviews

      Beginner · Course · 1 - 4 Weeks

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

      Coursera Instructor Network

      Mixed Methods Research: Bridging Qualitative & Quantitative

      Skills you'll gain: Data Collection, Research Design, Research Methodologies, Qualitative Research, Data Ethics, Quantitative Research, Research Reports, Data Integration, Data Presentation, Data Storytelling, Surveys, Interactive Data Visualization, Stakeholder Communications, Data Management, Analysis

      Beginner · Course · 1 - 4 Weeks

    • Status: Preview
      Preview
      S

      Siemens

      Introduction to Model-Based Systems Engineering

      Skills you'll gain: Systems Development Life Cycle, Unified Modeling Language, Systems Engineering, Systems Design, Software Systems, Systems Architecture, Systems Analysis, Systems Integration, Simulations, Solution Architecture, Requirements Analysis, Verification And Validation, Cloud Computing

      4.2
      Rating, 4.2 out of 5 stars
      ·
      64 reviews

      Beginner · Course · 1 - 3 Months

    • Status: New
      New
      Status: Preview
      Preview
      U

      University of Colorado Boulder

      Introduction to Modeling for Formal Verification

      Skills you'll gain: Verification And Validation, Systems Design, Theoretical Computer Science, Systems Analysis, Computer Architecture, System Programming, Software Architecture, Graph Theory, Hardware Architecture, Algorithms, Logical Reasoning

      Beginner · Course · 1 - 4 Weeks

    • Status: Free Trial
      Free Trial
      U

      University at Buffalo

      MBSE: Model-Based Systems Engineering

      Skills you'll gain: Model Based Systems Engineering, Systems Engineering, Industrial Engineering, Manufacturing Processes, Internet Of Things, Product Lifecycle Management, Enterprise Architecture, Verification And Validation, Process Analysis

      4.4
      Rating, 4.4 out of 5 stars
      ·
      869 reviews

      Beginner · Course · 1 - 4 Weeks

    • Status: Free Trial
      Free Trial
      U

      University of California, Davis

      Quantitative Research

      Skills you'll gain: Surveys, Statistical Hypothesis Testing, Quantitative Research, Statistical Analysis, Marketing Analytics, Market Research, Data Analysis, Marketing, Target Market, Regression Analysis, Sample Size Determination, Quality Control

      4.4
      Rating, 4.4 out of 5 stars
      ·
      340 reviews

      Intermediate · Course · 1 - 4 Weeks

    1234…240

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

    • Quick Start Guide to Large Language Models (LLMs): Unit 3: Pearson
    • Model Armor: Securing AI Deployments: Google Cloud
    • Basic Engineering Mathematics: Birla Institute of Technology & Science, Pilani
    • Foundations of Autonomous Systems: University of Colorado Boulder
    • Intro to Model Context Protocol (MCP): Scrimba
    • Model Context Protocol (MCP) Mastery: Fractal Analytics
    • Modeling and Simulation with Simulink : MathWorks
    • Mixed Methods Research: Bridging Qualitative & Quantitative: Coursera Instructor Network
    • Introduction to Model-Based Systems Engineering: Siemens
    • Introduction to Modeling for Formal Verification: University of Colorado Boulder

    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