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

Results for "quantitative+model+checking"


  • Status: Free Trial
    Free Trial
    U

    University of Pennsylvania

    Wharton Business and Financial Modeling Capstone

    Skills you'll gain: Portfolio Management, Financial Modeling, Data Presentation, Presentations, Microsoft PowerPoint, Business Modeling, Data Modeling, Quantitative Research, Business Analytics, Financial Data, Portfolio Risk, Spreadsheet Software, Investments, Return On Investment, Microsoft Excel, Finance, Financial Analysis, Regression Analysis, Model Optimization

    4.6
    Rating, 4.6 out of 5 stars
    ·
    522 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Minnesota

    Introduction to Automated Analysis

    Skills you'll gain: Test Automation, Regression Testing, Software Testing, Software Development Tools, Software Engineering Tools, Test Script Development, Test Tools, Computer Programming Tools, White-Box Testing, Code Coverage, Security Testing, Verification And Validation, Test Case, Test Data, Automation, Functional Requirement, Application Security, Vulnerability Scanning

    4.2
    Rating, 4.2 out of 5 stars
    ·
    86 reviews

    Intermediate · Course · 1 - 4 Weeks

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

    University of Colorado Boulder

    Equivalences, Abstraction, and Partial Order Reduction

    Skills you'll gain: Verification And Validation, Computational Thinking, Systems Design, Systems Analysis, Model Optimization, Software Design, Computer Architecture, Software Quality (SQA/SQC), Logical Reasoning

    Beginner · Course · 1 - 4 Weeks

  • 2

    28DIGITAL

    System Validation (4): Modelling Software, Protocols, and other behaviour

    Skills you'll gain: Systems Analysis, Communication Systems, Verification And Validation, Computational Logic, Systems Design, Process Modeling, Data Modeling, Software Design, Theoretical Computer Science, Network Protocols

    4.6
    Rating, 4.6 out of 5 stars
    ·
    13 reviews

    Advanced · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Pennsylvania

    Decision-Making and Scenarios

    Skills you'll gain: Cash Flow Forecasting, Data-Driven Decision-Making, Forecasting, Quantitative Research, Financial Modeling, Financial Forecasting, Financial Statement Analysis, Strategic Decision-Making, Financial Statements, Revenue Forecasting, Risk Modeling, Decision Making, Capital Budgeting, Analysis, Financial Analysis, Return On Investment, Cash Flows, New Business Development, Entrepreneurial Finance, Balance Sheet

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

    Mixed · Course · 1 - 4 Weeks

  • 2

    28DIGITAL

    System Validation: Automata and behavioural equivalences

    Skills you'll gain: Verification And Validation, Theoretical Computer Science, System Testing, Embedded Software, Software Systems, Communication Systems, Systems Design, System Design and Implementation, Embedded Systems, Process Modeling, Markov Model

    4.4
    Rating, 4.4 out of 5 stars
    ·
    183 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Measurement – Turning Concepts into Data

    Skills you'll gain: Surveys, Survey Creation, Sampling (Statistics), Quantitative Research, Analysis, Research Methodologies, Data Analysis, Data Collection, Data Quality, Research Design, Data Transformation, Statistical Analysis, Data Literacy, Data Modeling, Data Validation, Mitigation

    4.7
    Rating, 4.7 out of 5 stars
    ·
    82 reviews

    Beginner · Course · 1 - 4 Weeks

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

    Coursera

    Regression: Identify Assumptions & Apply Models

    Skills you'll gain: Regression Analysis, Financial Forecasting, Model Evaluation, Forecasting, Data Presentation, Technical Communication, Statistical Programming, R Programming, Statistical Modeling, Predictive Modeling, Statistical Methods, R (Software), Statistical Analysis, Verification And Validation, Plot (Graphics), Reliability

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Measurement Systems Analysis

    Skills you'll gain: Correlation Analysis, Statistical Visualization, Descriptive Statistics, Statistical Analysis, Statistical Software, Probability & Statistics, Data Analysis, Analysis, R (Software), Systems Of Measurement, Data Quality, R Programming, Statistical Methods, Verification And Validation, Statistical Hypothesis Testing

    4.2
    Rating, 4.2 out of 5 stars
    ·
    10 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    The Total Data Quality Framework

    Skills you'll gain: Data Quality, Data Collection, Data Validation, Data Analysis, Data Preprocessing, Analysis, Data Processing, Data Access

    4.6
    Rating, 4.6 out of 5 stars
    ·
    50 reviews

    Beginner · Course · 1 - 4 Weeks

  • 2

    28DIGITAL

    System Validation (2): Model process behaviour

    Skills you'll gain: Verification And Validation, Embedded Software, Process Modeling, Software Systems, Systems Analysis, Computational Logic, Distributed Computing, Theoretical Computer Science, Data Modeling, Maintainability, Algorithms, Logical Reasoning

    4.1
    Rating, 4.1 out of 5 stars
    ·
    10 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    B

    Board Infinity

    Advanced Quality and Capstone Project

    Skills you'll gain: Quality Assurance, Software Quality Assurance, Test Tools, Test Planning, Test Case, Software Quality (SQA/SQC), Test Automation, Continuous Integration, Code Coverage, DevOps, Software Testing, Agile Methodology, Risk Management, Automation

    Intermediate · Course · 1 - 4 Weeks

1…6789

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

  • Wharton Business and Financial Modeling Capstone: University of Pennsylvania
  • Introduction to Automated Analysis: University of Minnesota
  • Equivalences, Abstraction, and Partial Order Reduction: University of Colorado Boulder
  • System Validation (4): Modelling Software, Protocols, and other behaviour: 28DIGITAL
  • Decision-Making and Scenarios: University of Pennsylvania
  • System Validation: Automata and behavioural equivalences: 28DIGITAL
  • Measurement – Turning Concepts into Data: Johns Hopkins University
  • Regression: Identify Assumptions & Apply Models: Coursera
  • Measurement Systems Analysis: University of Colorado Boulder
  • The Total Data Quality Framework: University of Michigan

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