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

Results for "quantitative model checking"


  • 2

    28DIGITAL

    Quantitative Model Checking

    Skills you'll gain: Computational Logic, Markov Model, Verification And Validation, Theoretical Computer Science, Mathematical Modeling, Systems Analysis, Process Modeling, Probability, Algorithms, Probability Distribution, Logical Reasoning

    4.3
    Rating, 4.3 out of 5 stars
    ·
    54 reviews

    Intermediate · Course · 1 - 3 Months

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

    Coursera

    Software QA & Test Automation Engineering

    Skills you'll gain: Selenium (Software), Postman API Platform, JUnit, Test Automation, API Testing, Software Quality Assurance, Test Tools, Test Script Development, Quality Assurance, Unit Testing, Software Testing, Continuous Integration, Automation, Data Validation, Performance Testing, Test Case, Agile Methodology, Integration Testing, Debugging, Javascript

    4.7
    Rating, 4.7 out of 5 stars
    ·
    63 reviews

    Intermediate · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Pennsylvania

    Finance & Quantitative Modeling for Analysts

    Skills you'll gain: Financial Reporting, Return On Investment, Financial Acumen, Financial Data, Capital Budgeting, Financial Statement Analysis, Financial Statements, Financial Accounting, Business Modeling, Mathematical Modeling, Finance, Regression Analysis, Financial Modeling, Statistical Modeling, Income Statement, Spreadsheet Software, Predictive Modeling, Financial Forecasting, Microsoft Excel, Corporate Finance

    4.5
    Rating, 4.5 out of 5 stars
    ·
    17K reviews

    Beginner · Specialization · 3 - 6 Months

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

    Coursera

    Automate, Analyze, and Validate Data Quality

    Skills you'll gain: Data Validation, Data Quality, Data Governance, Data Integrity, Data Pipelines, Verification And Validation, Test Automation, SQL, Failure Analysis, Scalability, Root Cause Analysis, Metadata Management, Analytical Skills, Statistical Analysis

    Advanced · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Pennsylvania

    Fundamentals of Quantitative Modeling

    Skills you'll gain: Business Modeling, Mathematical Modeling, Regression Analysis, Statistical Modeling, Risk Analysis, Data Modeling, Business Analysis, Predictive Modeling, Forecasting, Predictive Analytics, Statistical Methods, Simulation and Simulation Software, Probability, Model Optimization, Logistic Regression, Probability Distribution, Vocabulary

    4.6
    Rating, 4.6 out of 5 stars
    ·
    9.4K reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Fundamentals of Model Checking

    Skills you'll gain: Computational Logic, Systems Design, Verification And Validation, Computer Engineering, Communication Systems, Systems Analysis, Software Systems, Process Modeling, Theoretical Computer Science, Computational Thinking, Functional Specification, Software Architecture, Model Optimization, Software Design, Graph Theory, Software Testing, Software Quality Assurance, Computer Architecture, Test Tools, Logical Reasoning

    4.7
    Rating, 4.7 out of 5 stars
    ·
    11 reviews

    Beginner · Specialization · 1 - 3 Months

What brings you to Coursera today?

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

    Coursera

    Build and Evaluate Robust Financial Models

    Skills you'll gain: Financial Modeling, Microsoft Excel, Financial Forecasting, Excel Formulas, Cash Flow Forecasting, Auditing, Business Modeling, Risk Analysis, Financial Analysis, Spreadsheet Software, Cash Flows, Business Valuation, Model Evaluation, Dependency Analysis, Verification And Validation, Quality Assurance

    Intermediate · Course · 1 - 4 Weeks

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

    Coursera

    Validating and Safeguarding Production AI

    Skills you'll gain: Anomaly Detection, MLOps (Machine Learning Operations), AI Security, Software Engineering, Model Training, DevOps, Software Quality Assurance, Maintainability, CI/CD, Model Deployment, Performance Tuning, Security Testing, Model Evaluation, Secure Coding, Performance Testing, Continuous Monitoring, Integration Testing, Sampling (Statistics), Data Validation, Python Programming

    Intermediate · Course · 1 - 3 Months

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

    Coursera

    Testing and Refining LLM Applications

    Skills you'll gain: MLOps (Machine Learning Operations), LLM Application, AI Security, Test Automation, Test Script Development, Test Driven Development (TDD), Unit Testing, CI/CD, Continuous Integration, Software Testing, Testability, Large Language Modeling, Model Deployment, Test Case, Responsible AI, Security Testing, AI Workflows, Python Programming, Statistical Analysis, SQL

    Intermediate · Course · 1 - 3 Months

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

    Pragmatic AI Labs

    Deterministic LLM programming

    Skills you'll gain: Retrieval-Augmented Generation, Amazon Bedrock, LLM Application, AWS SageMaker, Token Optimization, Large Language Modeling, Amazon Web Services, No-Code Development, Prompt Engineering, Generative AI, AI Orchestration, Model Deployment, Generative AI Agents, Package and Software Management, Model Training, Rust (Programming Language), Model Optimization, Performance Tuning, Data Wrangling

    Beginner · Course · 1 - 4 Weeks

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

    Coursera

    Data Engineering & Pipeline Reliability for Machine Learning

    Skills you'll gain: Data Preprocessing, Data Cleansing, Data Pipelines, Feature Engineering, Data Quality, MLOps (Machine Learning Operations), Extract, Transform, Load, Data Transformation, Data Integration, Dataflow, Development Environment, Data Wrangling, Apache Airflow, Package and Software Management, Git (Version Control System), Quality Assurance, Exploratory Data Analysis, Cost Management, Resource Utilization, Virtual Environment

    Intermediate · Course · 1 - 3 Months

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

    Coursera

    API Development and Model Serving

    Skills you'll gain: Model Context Protocol, Load Balancing, Containerization, Docker (Software), Model Deployment, Restful API, API Design, Application Programming Interface (API), Authentications, Application Deployment, Tool Calling, Scalability, Performance Tuning, Data Validation

    Intermediate · Course · 1 - 4 Weeks

1234…446

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

  • Quantitative Model Checking: 28DIGITAL
  • Software QA & Test Automation Engineering: Coursera
  • Finance & Quantitative Modeling for Analysts: University of Pennsylvania
  • Automate, Analyze, and Validate Data Quality: Coursera
  • Fundamentals of Quantitative Modeling: University of Pennsylvania
  • Fundamentals of Model Checking: University of Colorado Boulder
  • Build and Evaluate Robust Financial Models: Coursera
  • Validating and Safeguarding Production AI: Coursera
  • Testing and Refining LLM Applications: Coursera
  • Deterministic LLM programming: Pragmatic AI Labs

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