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

      Kennesaw State University

      Six Sigma Tools for Analyze

      Skills you'll gain: Six Sigma Methodology, Root Cause Analysis, Process Analysis, Probability Distribution, Process Capability, Statistical Process Controls, Lean Methodologies, Probability & Statistics, Process Improvement, Quality Improvement, Process Mapping, Statistical Analysis, Systems Of Measurement, Data Analysis, Statistics, Risk Analysis

      4.7
      Rating, 4.7 out of 5 stars
      ·
      1.9K reviews

      Beginner · Course · 1 - 4 Weeks

    • Status: Preview
      Preview
      B

      Board Infinity

      MOQ

      Skills you'll gain: .NET Framework, Unit Testing, Testability, Test Tools, Integration Testing, C# (Programming Language), Development Testing, Verification And Validation

      Intermediate · Course · 1 - 4 Weeks

    • Status: New
      New
      B

      Board Infinity

      Effective Code Review Practices

      Skills you'll gain: Test Automation, Test Tools, Code Review, Software Testing, Scripting, CI/CD, Software Technical Review, Test Planning, Maintainability, Test Case, Automation, Scalability

      Advanced · Course · 1 - 4 Weeks

    • Status: Preview
      Preview
      T

      The Chinese University of Hong Kong

      离散优化建模高阶篇 Advanced Modeling for Discrete Optimization

      Skills you'll gain: Mathematical Modeling, Operations Research, Debugging, Computational Logic, Performance Tuning, Algorithms

      4.3
      Rating, 4.3 out of 5 stars
      ·
      6 reviews

      Intermediate · Course · 1 - 3 Months

    • Status: Free
      Free
      C

      Check Point Software Technologies Ltd.

      Check Point Jump Start: Quantum Management

      Skills you'll gain: Threat Management, Threat Detection, Cyber Security Policies, Intrusion Detection and Prevention, Network Troubleshooting, Firewall, Security Management, Infrastructure Security, Network Administration, System Configuration, Software Installation, System Implementation

      Beginner · Course · 1 - 3 Months

    • Status: New
      New
      P

      Pearson

      Strategic Software Testing

      Skills you'll gain: Software Testing, Test Automation, Test Planning, Acceptance Testing, Test Case, Functional Testing, Scenario Testing, Unit Testing, Integration Testing, Regression Testing, User Acceptance Testing (UAT), Performance Testing, Usability Testing

      Intermediate · Course · 1 - 4 Weeks

    • Status: Preview
      Preview
      U

      University of Leeds

      Foundations of Software Testing and Validation

      Skills you'll gain: Test Case, Software Testing, Software Quality Assurance, Quality Assurance, User Acceptance Testing (UAT), Test Planning, Verification And Validation, Acceptance Testing, System Testing, Unit Testing, Functional Testing, Usability Testing, Integration Testing, Performance Testing, Software Development Life Cycle, Software Development

      4.6
      Rating, 4.6 out of 5 stars
      ·
      386 reviews

      Beginner · Course · 1 - 4 Weeks

    • Status: New
      New
      Status: Preview
      Preview
      C

      Coursera Instructor Network

      Open-Source QA: Cypress, JMeter & xUnit Testing

      Skills you'll gain: JUnit, Test Automation, Unit Testing, Software Testing, Continuous Integration, Performance Testing, Selenium (Software), Quality Assurance, Integration Testing, Test Case, IT Automation, CI/CD, Scripting, Application Performance Management, Debugging, Java, Network Performance Management

      Intermediate · Course · 1 - 4 Weeks

    • U

      University of Colorado Boulder

      Control Systems Analysis: Modeling of Dynamic Systems

      Skills you'll gain: Control Systems, Process Control, Mathematical Modeling, Engineering Analysis, Differential Equations, Systems Analysis, Electrical Systems, Mechanics, Systems Thinking, Applied Mathematics, Performance Testing, Basic Electrical Systems

      Build toward a degree

      4.7
      Rating, 4.7 out of 5 stars
      ·
      91 reviews

      Intermediate · Course · 1 - 3 Months

    • Status: Free Trial
      Free Trial
      B

      Board Infinity

      Fundamentals of Risk-Based and White-Box Test Techniques

      Skills you'll gain: Software Testing, Code Coverage, Test Case, Application Programming Interface (API), API Design, Unit Testing, Test Tools, Test Planning, Integration Testing, Risk Analysis, Risk Management

      Advanced · Course · 1 - 4 Weeks

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

      Birla Institute of Technology & Science, Pilani

      Discrete Mathematics for Computer Science and Engineering

      Skills you'll gain: Theoretical Computer Science, Programming Principles, Cryptography, Algorithms, Applied Mathematics, Probability & Statistics, Data Management

      Beginner · Course · 1 - 3 Months

    • Status: Free Trial
      Free Trial
      J

      Johns Hopkins University

      Mathematical Biostatistics Boot Camp 1

      Skills you'll gain: Sampling (Statistics), Bayesian Statistics, Probability & Statistics, Statistical Inference, Statistical Methods, Statistics, Probability, Probability Distribution, Statistical Analysis, Biostatistics, Statistical Hypothesis Testing

      4.4
      Rating, 4.4 out of 5 stars
      ·
      522 reviews

      Mixed · Course · 1 - 4 Weeks

    1…237238239…240

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

    • Six Sigma Tools for Analyze: Kennesaw State University
    • MOQ: Board Infinity
    • Effective Code Review Practices: Board Infinity
    • 离散优化建模高阶篇 Advanced Modeling for Discrete Optimization: The Chinese University of Hong Kong
    • Check Point Jump Start: Quantum Management: Check Point Software Technologies Ltd.
    • Strategic Software Testing: Pearson
    • Foundations of Software Testing and Validation: University of Leeds
    • Open-Source QA: Cypress, JMeter & xUnit Testing: Coursera Instructor Network
    • Control Systems Analysis: Modeling of Dynamic Systems: University of Colorado Boulder
    • Fundamentals of Risk-Based and White-Box Test Techniques: Board Infinity

    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