• For Individuals
  • For Businesses
  • For Universities
  • For Governments
Degrees
​
Log In
Join for Free
  • Browse
  • Quantitative Model Checking

Results for "quantitative model checking"


  • C

    Check Point Software Technologies Ltd.

    Check Point Jump Start: Quantum Management

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

    Beginner · Course · 1 - 3 Months

  • 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, White-Box Testing, Unit Testing, Functional Testing, Integration Testing, Software Development Life Cycle, Software Development

    4.6
    Rating, 4.6 out of 5 stars
    ·
    445 reviews

    Beginner · Course · 1 - 4 Weeks

  • B

    Board Infinity

    Fundamentals of Static Testing

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

    4.2
    Rating, 4.2 out of 5 stars
    ·
    62 reviews

    Beginner · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Apply Unit Testing Techniques Using JUnit

    Skills you'll gain: JUnit, Test Automation, Unit Testing, Software Testing, Verification And Validation, Test Case, Test Driven Development (TDD), Integration Testing, Debugging, Mockups

    Mixed · Course · 1 - 4 Weeks

  • C

    Coursera

    Advanced Contract Testing with Pact and Beyond

    Skills you'll gain: API Testing, Application Deployment, Integration Testing, Continuous Deployment, Microservices, Software Versioning, Continuous Integration, Test Automation, Application Programming Interface (API), CI/CD, Test Tools, Verification And Validation, Application Lifecycle Management

    Advanced · Course · 1 - 4 Weeks

  • P

    Pearson

    Strategic Software Testing

    Skills you'll gain: Software Testing, Test Automation, System Testing, Test Planning, Acceptance Testing, Functional Testing, Test Tools, Unit Testing, Integration Testing, Performance Testing, Usability Testing

    Intermediate · Course · 1 - 4 Weeks

  • B

    Board Infinity

    Fundamentals of Risk-Based and White-Box Test Techniques

    Skills you'll gain: White-Box Testing, Software Testing, Risk Analysis, Code Coverage, Test Case, Unit Testing, Test Engineering, Test Planning, Integration Testing

    3.4
    Rating, 3.4 out of 5 stars
    ·
    8 reviews

    Advanced · Course · 1 - 4 Weeks

1…393394395396

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

  • Check Point Jump Start: Quantum Management: Check Point Software Technologies Ltd.
  • Foundations of Software Testing and Validation: University of Leeds
  • Fundamentals of Static Testing: Board Infinity
  • Apply Unit Testing Techniques Using JUnit: EDUCBA
  • Advanced Contract Testing with Pact and Beyond: Coursera
  • Strategic Software Testing: Pearson
  • 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

Skills

  • Accounting
  • Artificial Intelligence (AI)
  • Cybersecurity
  • Data Analytics
  • Digital Marketing
  • Human Resources (HR)
  • Microsoft Excel
  • Project Management
  • Python
  • SQL

Professional Certificates

  • Google AI Certificate
  • Google Cybersecurity Certificate
  • Google Data Analytics Certificate
  • Google IT Support Certificate
  • Google Project Management Certificate
  • Google UX Design Certificate
  • IBM AI Engineering Certificate
  • IBM AI Product Manager Certificate
  • IBM Data Science Certificate
  • Intuit Academy Bookkeeping Certificate

Courses & Specializations

  • AI Essentials Specialization
  • AI For Business Specialization
  • AI For Everyone Course
  • AI in Healthcare Specialization
  • Deep Learning Specialization
  • Excel Skills for Business Specialization
  • Financial Markets Course
  • Machine Learning Specialization
  • Prompt Engineering for ChatGPT Course
  • Python for Everybody Specialization

Career Resources

  • Career Aptitude Test
  • CAPM Certification Requirements
  • CompTIA A+ Certification Requirements
  • CompTIA Security+ Certification Requirements
  • Essential IT Certifications
  • Free IT Certifications and Courses
  • High-Income Skills to Learn
  • How to Learn Artificial Intelligence
  • PMP Certification Requirements
  • Popular Cybersecurity Certifications

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
  • Share your Coursera learning story

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