• 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: Preview
      Preview
      B

      Board Infinity

      Fundamentals of Test Case Design

      Skills you'll gain: Software Testing, Test Planning, Test Case, Software Quality Assurance, Software Technical Review, Quality Assurance, Verification And Validation, Software Documentation, Requirements Analysis, Technical Communication

      Beginner · Course · 1 - 4 Weeks

    • Status: Free Trial
      Free Trial
      E

      EIT Digital

      Capstone: Autonomous Runway Detection for IoT

      Skills you'll gain: Real-Time Operating Systems, Embedded Systems, Internet Of Things, System Requirements, Software Engineering, System Testing, Software Development, Verification And Validation, Integration Testing, Performance Testing, Secure Coding, Cloud-Based Integration, Systems Integration, IT Security Architecture, System Implementation, Requirements Analysis, Innovation, Encryption, Algorithms

      4.6
      Rating, 4.6 out of 5 stars
      ·
      68 reviews

      Advanced · Course · 1 - 4 Weeks

    • P

      Packt

      Complete Guide to Unit Testing in .NET Core (NUnit & xUnit)

      Skills you'll gain: Software Testing, Test Case, .NET Framework, Test Automation, Testability, Integration Testing, Microsoft Visual Studio, Debugging, C# (Programming Language), Mockups

      Beginner · Course · 1 - 3 Months

    • Status: Free
      Free
      D

      DeepLearning.AI

      Quality and Safety for LLM Applications

      Skills you'll gain: Large Language Modeling, Security Testing, Threat Modeling, Application Security, Data Loss Prevention, Continuous Monitoring, Threat Detection, Security Controls, Prompt Engineering, System Monitoring, Personally Identifiable Information, Anomaly Detection, Generative AI, Data Security

      Beginner · Project · Less Than 2 Hours

    • Status: Free Trial
      Free Trial
      B

      Board Infinity

      ISTQB Foundation Level Software Testing Certification Prep

      Skills you'll gain: Test Tools, Test Planning, Configuration Management, Software Testing, Test Automation, Test Case, Integration Testing, Code Review, Software Technical Review, Software Quality Assurance, Software Development Life Cycle, System Testing, Acceptance Testing, Quality Assurance, Maintainability, Regression Testing, Unit Testing, Test Data, Functional Testing, User Acceptance Testing (UAT)

      4.3
      Rating, 4.3 out of 5 stars
      ·
      57 reviews

      Beginner · Specialization · 1 - 3 Months

    • Status: Free Trial
      Free Trial
      J

      Johns Hopkins University

      Calculus through Data & Modelling: Techniques of Integration

      Skills you'll gain: Integral Calculus, Numerical Analysis, Calculus, Probability, Applied Mathematics, Advanced Mathematics, Geometry, Mathematical Modeling

      4.7
      Rating, 4.7 out of 5 stars
      ·
      53 reviews

      Intermediate · Course · 1 - 4 Weeks

    • Status: Free Trial
      Free Trial
      J

      Johns Hopkins University

      Calculus through Data & Modelling: Vector Calculus

      Skills you'll gain: Integral Calculus, Calculus, Linear Algebra, Mathematical Theory & Analysis, Advanced Mathematics, Visualization (Computer Graphics), Applied Mathematics, Graphing, Mathematical Modeling, Spatial Data Analysis

      4.7
      Rating, 4.7 out of 5 stars
      ·
      44 reviews

      Intermediate · Course · 1 - 4 Weeks

    • Status: Free Trial
      Free Trial
      U

      University of Minnesota

      Introduction to Software Testing

      Skills you'll gain: Software Testing, JUnit, Verification And Validation, Unit Testing, Test Case, Test Automation, Development Testing, Test Planning, Code Coverage, Software Quality Assurance, Functional Testing, Testability, Integration Testing, Test Data, Issue Tracking

      4.4
      Rating, 4.4 out of 5 stars
      ·
      798 reviews

      Intermediate · Course · 1 - 4 Weeks

    • Status: Free Trial
      Free Trial
      S

      SkillUp

      The DMAIC Framework - Define and Measure Phase

      Skills you'll gain: Process Capability, Statistical Analysis, Data Analysis, Project Management, Six Sigma Methodology, Statistics, Work Breakdown Structure, Data Collection, Project Scoping, Performance Measurement, Process Improvement, Quality Management, Customer experience improvement, Quality Control

      Beginner · Course · 1 - 3 Months

    • Status: New
      New
      Status: Preview
      Preview
      E

      Edureka

      SonarQube for Continuous Inspection and Code Review

      Skills you'll gain: Role-Based Access Control (RBAC), Code Review, Continuous Integration, Code Coverage, Software Quality Assurance, Software Quality (SQA/SQC), Software Technical Review, CI/CD, Apache Maven, GitHub, PostgreSQL, Programming Principles, Software Engineering, Software Development, Configuration Management, Git (Version Control System), Building Codes, Software Installation

      Beginner · Course · 1 - 4 Weeks

    • C

      Coursera Project Network

      Compare Models with Experiments in Azure ML Studio

      Skills you'll gain: Jupyter, Plot (Graphics), Microsoft Azure, Applied Machine Learning, Scikit Learn (Machine Learning Library), Data Visualization, Machine Learning, Regression Analysis

      Beginner · Guided Project · Less Than 2 Hours

    • Status: Free Trial
      Free Trial
      U

      University of Colorado Boulder

      Advanced Data Structures, RSA and Quantum Algorithms

      Skills you'll gain: Public Key Cryptography Standards (PKCS), Cryptography, Data Structures, Algorithms, Encryption, Theoretical Computer Science, Computer Science, Computational Thinking, Data Storage Technologies, Linear Algebra, IBM Cloud, Python Programming, Arithmetic

      Build toward a degree

      4.6
      Rating, 4.6 out of 5 stars
      ·
      35 reviews

      Advanced · Course · 1 - 4 Weeks

    1…237238239240

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

    • Fundamentals of Test Case Design: Board Infinity
    • Capstone: Autonomous Runway Detection for IoT: EIT Digital
    • Complete Guide to Unit Testing in .NET Core (NUnit & xUnit): Packt
    • Quality and Safety for LLM Applications: DeepLearning.AI
    • ISTQB Foundation Level Software Testing Certification Prep: Board Infinity
    • Calculus through Data & Modelling: Techniques of Integration: Johns Hopkins University
    • Calculus through Data & Modelling: Vector Calculus: Johns Hopkins University
    • Introduction to Software Testing: University of Minnesota
    • The DMAIC Framework - Define and Measure Phase: SkillUp
    • SonarQube for Continuous Inspection and Code Review: Edureka

    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