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

    Build job-relevant skills in under 2 hours with hands-on tutorials.
    Learn from top instructors with graded assignments, videos, and discussion forums.
    Learn a new tool or skill in an interactive, hands-on environment.
    Get in-depth knowledge of a subject by completing a series of courses and projects.
    Earn career credentials from industry leaders that demonstrate your expertise.
    Earn your Bachelor’s or Master’s degree online for a fraction of the cost of in-person learning.
    Complete graduate-level learning without committing to a full degree program.

    Level
    Required
     *

    Duration
    Required
     *

    Skills
    Required
     *

    Subtitles
    Required
     *

    Educator
    Required
     *

    Results for "quantitative model checking"

    • Status: Free Trial
      Free Trial
      U

      University of Colorado Boulder

      Verification and Synthesis of Autonomous Systems

      Skills you'll gain: Computational Logic, Verification And Validation, Theoretical Computer Science, Systems Analysis, System Requirements, Simulations, Algorithms, Linear Algebra

      Build toward a degree

      3.8
      Rating, 3.8 out of 5 stars
      ·
      9 reviews

      Intermediate · Course · 1 - 4 Weeks

    • 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

    • U

      University of Illinois Urbana-Champaign

      Customer Insights: Quantitative Techniques

      Skills you'll gain: New Product Development, Product Development, Design Thinking, Market Research, Quantitative Research, Product Management, Customer Insights, Consumer Behaviour, Market Analysis, Target Market, Forecasting, Innovation, Needs Assessment, Analysis, Data Collection, Technology Solutions

      3.7
      Rating, 3.7 out of 5 stars
      ·
      32 reviews

      Mixed · Course · 1 - 3 Months

    • Status: Free Trial
      Free Trial
      U

      University of Colorado Boulder

      Real-Time Embedded Systems Theory and Analysis

      Skills you'll gain: Real-Time Operating Systems, Embedded Systems, Embedded Software, Software Design, Linux, System Design and Implementation, Performance Tuning, C (Programming Language), Verification And Validation, Algorithms, Debugging

      4.1
      Rating, 4.1 out of 5 stars
      ·
      17 reviews

      Advanced · Course · 1 - 4 Weeks

    • C

      Coursera Project Network

      Créer un Business Model Canva avec Mural

      Skills you'll gain: Business Modeling, Customer Relationship Management, Entrepreneurship, New Business Development, Business Planning, Telecommuting, Business Strategy, Value Propositions, Collaborative Software

      Beginner · Guided Project · Less Than 2 Hours

    • Status: Free Trial
      Free Trial
      U

      University of California, Irvine

      Cluster Analysis, Association Mining, and Model Evaluation

      Skills you'll gain: Unsupervised Learning, Data Analysis, Regression Analysis, Statistical Analysis, Data Mining, Predictive Modeling, Predictive Analytics, Anomaly Detection, Statistical Modeling, Classification And Regression Tree (CART), Machine Learning, Correlation Analysis, Probability & Statistics, Scatter Plots, Market Analysis, Supervised Learning, AI Personalization, Cross Selling

      4.5
      Rating, 4.5 out of 5 stars
      ·
      47 reviews

      Intermediate · Course · 1 - 4 Weeks

    • Status: Preview
      Preview
      C

      Caltech

      Pricing Options with Mathematical Models

      Skills you'll gain: Derivatives, Financial Market, Risk Modeling, Mathematical Modeling, Financial Modeling, Credit Risk, Risk Management, Portfolio Management, Probability, Differential Equations, Applied Mathematics, Probability Distribution, Calculus

      4.7
      Rating, 4.7 out of 5 stars
      ·
      37 reviews

      Intermediate · Course · 1 - 3 Months

    • Status: Preview
      Preview
      E

      Erasmus University Rotterdam

      Business Model Innovation for Sustainable Landscape Restoration

      Skills you'll gain: Stakeholder Management, Business Modeling, New Business Development, Key Performance Indicators (KPIs), Business Analysis, Corporate Sustainability, Environmental Resource Management, Financial Analysis, Systems Thinking, Innovation, Value Propositions

      4.8
      Rating, 4.8 out of 5 stars
      ·
      49 reviews

      Beginner · Course · 1 - 3 Months

    • G

      Google Cloud

      Explore and Evaluate Models using Model Garden

      Skills you'll gain: Google Cloud Platform, Cloud Computing, Generative AI, Artificial Intelligence and Machine Learning (AI/ML), Machine Learning Methods

      Intermediate · Project · Less Than 2 Hours

    • C

      Coursera Project Network

      Design a Business Model Canvas with Miro

      Skills you'll gain: Business Modeling, Presentations, Business Planning, Data Visualization, Entrepreneurship, Value Propositions, Brainstorming, New Business Development, Collaborative Software

      Beginner · Guided Project · Less Than 2 Hours

    • Status: New
      New
      Status: Free Trial
      Free Trial
      B

      Board Infinity

      ABAP RESTful Programming Model (RAP) and Extensions

      Skills you'll gain: SAP Applications, Business Logic, Application Deployment, Unit Testing, Restful API, Application Development, Software Architecture, Enterprise Application Management, Data Modeling, Back-End Web Development, User Interface (UI), Data Validation

      Advanced · Course · 1 - 4 Weeks

    • C

      Coursera Project Network

      Machine Learning with ChatGPT: Image Classification Model

      Skills you'll gain: ChatGPT, Keras (Neural Network Library), Applied Machine Learning, Image Analysis, Machine Learning Methods, Data Import/Export, Test Data, Machine Learning, Python Programming, Performance Tuning, Artificial Neural Networks, Data Processing, Deep Learning

      4.4
      Rating, 4.4 out of 5 stars
      ·
      33 reviews

      Intermediate · Guided Project · Less Than 2 Hours

    1…91011…241

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

    • Verification and Synthesis of Autonomous Systems: University of Colorado Boulder
    • GenAI and Model Selection: Coursera Instructor Network
    • Customer Insights: Quantitative Techniques: University of Illinois Urbana-Champaign
    • Real-Time Embedded Systems Theory and Analysis: University of Colorado Boulder
    • Créer un Business Model Canva avec Mural: Coursera Project Network
    • Cluster Analysis, Association Mining, and Model Evaluation: University of California, Irvine
    • Pricing Options with Mathematical Models: Caltech
    • Business Model Innovation for Sustainable Landscape Restoration: Erasmus University Rotterdam
    • Explore and Evaluate Models using Model Garden: Google Cloud
    • Design a Business Model Canvas with Miro: Coursera Project 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