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

More to explore:

Results for "quantitative model checking"


  • 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, DevOps, CI/CD, Model Deployment, Performance Tuning, Model Evaluation, Secure Coding, Continuous Monitoring, Integration Testing, Data Validation, Sampling (Statistics), Statistical Methods, Python Programming

    Intermediate · Course · 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, Engineering Calculations, Trigonometry, Linear Algebra, Engineering Analysis, Logical Reasoning, Deductive Reasoning, Probability & Statistics, Statistical Analysis, Calculus, Analytical Skills, Bayesian Statistics, Differential Equations, Programming Principles, Statistical Inference, Theoretical Computer Science, Numerical Analysis, Descriptive Analytics, Applied Mathematics

    4.5
    Rating, 4.5 out of 5 stars
    ·
    192 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: New
    New
    Status: Preview
    Preview
    A

    Anthropic

    Introduction to Model Context Protocol

    Skills you'll gain: Model Context Protocol, Anthropic Claude, AI Workflows, Tool Calling, Program Development, Systems Architecture, Servers, Debugging, JSON, Development Environment, Document Management

    4.7
    Rating, 4.7 out of 5 stars
    ·
    19 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    T

    The Hong Kong University of Science and Technology

    Discrete Math for Computer Science - Counting & Probability

    Skills you'll gain: Bayesian Statistics, Mathematical Theory & Analysis, Arithmetic, Advanced Mathematics, Deductive Reasoning

    Beginner · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    E

    EDUCBA

    Apply Quantitative Data Analysis Using R

    Skills you'll gain: Quantitative Research, Scatter Plots, R Programming, Statistical Visualization, Correlation Analysis, Descriptive Statistics, Statistical Analysis, Data Analysis, Data Visualization, Statistics, Exploratory Data Analysis, Data Import/Export, Data Structures

    Beginner · 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, Decision Tree Learning, Regression Analysis, Exploratory Data Analysis, Predictive Modeling, Data Analysis, Risk Analysis, Risk Management, R Programming, Statistical Analysis, Machine Learning

    Intermediate · Specialization · 3 - 6 Months

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

    Coursera

    Audit & Evaluate Excel Models

    Skills you'll gain: Auditing, Financial Auditing, Excel Formulas, Version Control, Financial Modeling, Microsoft Excel, Model Evaluation, Peer Review, Risk Modeling, Change Control, Analysis, Governance Risk Management and Compliance, Business Modeling, Case Studies, Performance Analysis, Technical Documentation, Performance Metric

    Intermediate · Course · 1 - 4 Weeks

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

    Coursera

    Model Data in Weaviate

    Skills you'll gain: Query Languages, Relational Databases, Performance Tuning, Prompt Engineering, Retrieval-Augmented Generation, LangChain, Python Programming

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    C

    Coursera

    Advanced Quantitative Statistics with Excel

    Skills you'll gain: Regression Analysis, Microsoft Excel, Statistical Hypothesis Testing, Business Analytics, Data-Driven Decision-Making, Data Visualization, Business Analysis, Statistical Analysis, Analytics, Data Analysis, Correlation Analysis, Case Studies, Probability & Statistics, Variance Analysis, Forecasting, Data Manipulation

    4.8
    Rating, 4.8 out of 5 stars
    ·
    14 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Preview
    Preview
    C

    Coursera

    SystemVerilog Tutorials: Hardware Design & Verification

    Skills you'll gain: Hardware Design, Field-Programmable Gate Array (FPGA), Data Structures, Systems Design, Application Specific Integrated Circuits, Electronic Systems, Computer Engineering, Verification And Validation, Embedded Systems, Software Design, Simulation and Simulation Software, Test Engineering, Programming Principles, Data Synthesis, Analysis, Design, Process Optimization

    Intermediate · Course · 1 - 4 Weeks

  • 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, Data Modeling, Risk Analysis, Financial Analysis, Spreadsheet Software, Business Analytics, Cash Flows, Business Valuation, Verification And Validation, Quality Assurance

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    C

    Caltech

    Pricing Options with Mathematical Models

    Skills you'll gain: Derivatives, Financial Market, Mathematical Modeling, Financial Modeling, Credit Risk, Risk Management, Markov Model, Portfolio Management, Probability, Advanced Mathematics, Differential Equations, Applied Mathematics, Probability Distribution, Calculus

    4.7
    Rating, 4.7 out of 5 stars
    ·
    39 reviews

    Intermediate · Course · 1 - 3 Months

1234…388

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

  • Validating and Safeguarding Production AI: Coursera
  • Mathematics for Engineering: Birla Institute of Technology & Science, Pilani
  • Introduction to Model Context Protocol: Anthropic
  • Discrete Math for Computer Science - Counting & Probability: The Hong Kong University of Science and Technology
  • Apply Quantitative Data Analysis Using R: EDUCBA
  • Quantitative Finance & Risk Modeling: Coursera
  • Audit & Evaluate Excel Models: Coursera
  • Model Data in Weaviate: Coursera
  • Advanced Quantitative Statistics with Excel: Coursera
  • SystemVerilog Tutorials: Hardware Design & Verification: 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