• 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
    Free
    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, Vulnerability Management, Cryptographic Protocols, Infrastructure Security, Network Administration, Public Key Infrastructure, Cloud Management, Active Directory, System Configuration, Software Installation, Package and Software Management, Command-Line Interface

    Beginner · Course · 1 - 3 Months

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

    Coursera

    Automate, Evaluate and Deploy ML Models Confidently

    Skills you'll gain: MLOps (Machine Learning Operations), Model Deployment, Scalability, Model Optimization, CI/CD, Continuous Deployment, Machine Learning Software, Continuous Delivery, Model Training, DevOps, Artificial Intelligence and Machine Learning (AI/ML), Model Evaluation, Continuous Integration, Performance Measurement, Business Metrics, Automation, Business Priorities, Performance Analysis, YAML

    Advanced · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Verification and Synthesis of Autonomous Systems

    Skills you'll gain: Verification And Validation, Computational Logic, Theoretical Computer Science, Systems Analysis, System Requirements, Algorithms, Functional Specification

    Build toward a degree

    3.8
    Rating, 3.8 out of 5 stars
    ·
    11 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    E

    EDUCBA

    Financial Modeling of Tesla: Analyze & Value

    Skills you'll gain: Capital Expenditure, Financial Modeling, Financial Analysis, Revenue Forecasting, Business Valuation, Financial Statement Analysis, Fixed Asset, Financial Statements, Financial Reporting, Financial Accounting, Capital Budgeting, Financial Forecasting, Equities, Depreciation, Analysis, Cash Flow Forecasting, Balance Sheet, Risk Modeling, Business Modeling, Forecasting

    5
    Rating, 5 out of 5 stars
    ·
    12 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    I

    Illinois Tech

    Model Diagnostics and Remedial Measures

    Skills you'll gain: Model Evaluation, Regression Analysis, Verification And Validation, Feature Engineering, Plot (Graphics), Statistical Methods, Statistical Modeling, Scatter Plots, Data Transformation, Correlation Analysis, Statistical Analysis, R Programming, Statistical Inference, Statistical Hypothesis Testing

    Build toward a degree

    4.9
    Rating, 4.9 out of 5 stars
    ·
    11 reviews

    Intermediate · Course · 1 - 4 Weeks

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

    Coursera

    Track and Evaluate ML Model Experiments

    Skills you'll gain: MLOps (Machine Learning Operations), Model Evaluation, Model Training, Model Deployment, Version Control, Large Language Modeling, Predictive Modeling, Data Management, Dashboard, Interactive Data Visualization, Machine Learning, Record Keeping, Performance Analysis

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    E

    EDUCBA

    QlikView & QlikSense: Build & Analyze Data Models

    Skills you'll gain: Data Modeling, Enterprise Resource Planning, Business Intelligence, Interactive Data Visualization, Data Store, Security Controls, Data Visualization Software, Dashboard Creation, Workflow Management, Business Workflow Analysis, Data Import/Export, Data Warehousing, Extract, Transform, Load, Data Processing, Data Integration, Data Wrangling, Project Implementation, Microsoft Excel, Data Transformation, Authorization (Computing)

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    S

    SkillUp

    The DMAIC Framework - Define and Measure Phase

    Skills you'll gain: Process Capability, Project Schedules, Statistical Analysis, Statistical Methods, Data Analysis, Project Management, Project Planning, Six Sigma Methodology, Work Breakdown Structure, Lean Six Sigma, Process Analysis, Data Collection, Project Scoping, Probability & Statistics, Performance Measurement, Scope Management, Performance Metric, Performance Analysis, Quality Monitoring, Process Improvement and Optimization

    4.8
    Rating, 4.8 out of 5 stars
    ·
    12 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    U

    University of Amsterdam

    Logic for Economists

    Skills you'll gain: Computational Logic, Logical Reasoning, Deductive Reasoning, General Mathematics, Theoretical Computer Science

    4.4
    Rating, 4.4 out of 5 stars
    ·
    300 reviews

    Advanced · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    B

    Board Infinity

    Static & Dynamic Analysis for Technical Testing

    Skills you'll gain: Performance Testing, Maintainability, Software Testing, Code Review, Software Technical Review, Security Testing, Performance Stress Testing, Software Quality Assurance, Application Security, Test Tools, Browser Compatibility

    Advanced · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    E

    EDUCBA

    Master Quality Models with CMMI: Analyze, Apply & Improve

    Skills you'll gain: Continuous Improvement Process, Performance Improvement, Project Risk Management, Performance Metric, Process Improvement, Quality Improvement, Risk Management, Process Improvement and Optimization, Risk Analysis, Operational Performance Management, Process Management, Performance Measurement, Quality Management, Performance Management, Process Capability, Process Validation, Risk Mitigation, Project Management, Quality Assurance, Process Optimization

    5
    Rating, 5 out of 5 stars
    ·
    23 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Calculus through Data & Modelling: Integration Applications

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

    4.7
    Rating, 4.7 out of 5 stars
    ·
    25 reviews

    Intermediate · Course · 1 - 4 Weeks

1…678…9

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

  • Check Point Jump Start: Quantum Management: Check Point Software Technologies Ltd.
  • Automate, Evaluate and Deploy ML Models Confidently: Coursera
  • Verification and Synthesis of Autonomous Systems: University of Colorado Boulder
  • Financial Modeling of Tesla: Analyze & Value: EDUCBA
  • Model Diagnostics and Remedial Measures: Illinois Tech
  • Track and Evaluate ML Model Experiments: Coursera
  • QlikView & QlikSense: Build & Analyze Data Models: EDUCBA
  • The DMAIC Framework - Define and Measure Phase: SkillUp
  • Logic for Economists: University of Amsterdam
  • Static & Dynamic Analysis for Technical Testing: 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