• 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: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Quantitative Finance & Risk Modeling

    Skills you'll gain: Financial Modeling, Descriptive Statistics, Data Literacy, Financial Forecasting, Reconciliation, Financial Analysis, A/B Testing, Portfolio Risk, Model Evaluation, Data Cleansing, Classification And Regression Tree (CART), Regression Analysis, Exploratory Data Analysis, Predictive Modeling, Data Analysis, Risk Analysis, Risk Management, R Programming, Statistical Analysis, Machine Learning

    4.2
    Rating, 4.2 out of 5 stars
    ·
    6 reviews

    Intermediate · Specialization · 3 - 6 Months

  • 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

What brings you to Coursera today?

  • 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, Functional Testing, Theoretical Computer Science, Computational Thinking, Functional Specification, Software Architecture, Model Optimization, Software Design, Graph Theory, Software Testing, Software Quality Assurance, Computer Architecture, Logical Reasoning

    4.7
    Rating, 4.7 out of 5 stars
    ·
    11 reviews

    Beginner · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    B

    Birla Institute of Technology & Science, Pilani

    Mathematics for Engineering

    Skills you'll gain: Data Analysis, Computational Logic, Integral Calculus, Trigonometry, Linear Algebra, Engineering Analysis, Logical Reasoning, Deductive Reasoning, Probability & Statistics, Statistical Analysis, Calculus, Statistical Methods, Analysis, Advanced Mathematics, Bayesian Statistics, Statistical Inference, Theoretical Computer Science, Mathematics and Mathematical Modeling, Numerical Analysis, Descriptive Analytics

    4.5
    Rating, 4.5 out of 5 stars
    ·
    196 reviews

    Beginner · Specialization · 3 - 6 Months

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

    Coursera

    Evaluate Language Models: Metrics for Success

    Skills you'll gain: LLM Application, Analysis, Benchmarking, Performance Metric

    Intermediate · Course · 1 - 4 Weeks

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

    Coursera

    Automate and Evaluate ML Pipeline Tests

    Skills you'll gain: MLOps (Machine Learning Operations), Model Evaluation, Regression Testing, Unit Testing, Test Script Development, Test Case, System Testing, Test Automation, Software Testing, Integration Testing, Verification And Validation, Anomaly Detection, Data Integrity, Continuous Monitoring

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    M

    MathWorks

    Modeling and Simulation with Simulink

    Skills you'll gain: Simulation and Simulation Software, Control Systems, Model Based Systems Engineering, Simulations, Mathematical Modeling, Engineering Analysis, Data Import/Export, Systems Engineering, Model Optimization

    4.8
    Rating, 4.8 out of 5 stars
    ·
    58 reviews

    Beginner · 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
  • Quantitative Finance & Risk Modeling: Coursera
  • Build and Evaluate Robust Financial Models: Coursera
  • Fundamentals of Quantitative Modeling: University of Pennsylvania
  • Fundamentals of Model Checking: University of Colorado Boulder
  • Mathematics for Engineering: Birla Institute of Technology & Science, Pilani
  • Evaluate Language Models: Metrics for Success: Coursera

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