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

Results for "quantitative model checking"


  • P

    Packt

    ASP.NET 6.0 - Build Hands-On Web Projects

    Skills you'll gain: ASP.NET, Middleware, .NET Framework, C# (Programming Language), Model View Controller, Back-End Web Development, Web Development, Restful API, Server Side, Full-Stack Web Development, Web Applications, Application Frameworks, Object-Relational Mapping, Microsoft SQL Servers, Data Validation, Data Migration

    Intermediate · Course · 1 - 3 Months

  • J

    Johns Hopkins University

    Biostatistics in Public Health

    Skills you'll gain: Biostatistics, Statistical Hypothesis Testing, Logistic Regression, Regression Analysis, Sampling (Statistics), Statistical Methods, Statistical Visualization, Statistical Analysis, Epidemiology, Quantitative Research, Descriptive Statistics, Probability & Statistics, Statistical Inference, Probability Distribution, Public Health, Scientific Methods, Statistics, Statistical Modeling, Advanced Analytics, Predictive Modeling

    4.8
    Rating, 4.8 out of 5 stars
    ·
    2.4K reviews

    Beginner · Specialization · 3 - 6 Months

  • C

    Coursera

    Eyes on AI - Computer Vision Engineering

    Skills you'll gain: Model Evaluation, Transfer Learning, PyTorch (Machine Learning Library), Model Deployment, Data Preprocessing, Technical Communication, MLOps (Machine Learning Operations), Image Analysis, Computer Vision, AI Workflows, Convolutional Neural Networks, Tensorflow, Dataflow, Performance Tuning, Performance Metric, Data Analysis, Deep Learning, Exploratory Data Analysis, Engineering Software, Process Optimization

    Intermediate · Professional Certificate · 3 - 6 Months

  • E

    EDUCBA

    Apply SketchUp for Beginner-Level 3D Modeling

    Skills you'll gain: SketchUp (3D Modeling Software), 3D Modeling, Visualization (Computer Graphics), Model Evaluation, Design Software, Software Installation, User Interface (UI)

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    Calculate VaR: Market Risk Measurement

    Skills you'll gain: Portfolio Risk, Risk Modeling, Quantitative Research, Risk Analysis, Financial Forecasting, Market Data, Dashboard, Risk Management, Statistical Reporting, Business Risk Management, Data Presentation, Investment Management

    Intermediate · Course · 1 - 4 Weeks

  • U

    University of Washington

    Machine Learning

    Skills you'll gain: Model Evaluation, Classification Algorithms, Regression Analysis, Applied Machine Learning, Feature Engineering, Machine Learning, Image Analysis, Unsupervised Learning, Predictive Modeling, Supervised Learning, Bayesian Statistics, Logistic Regression, Statistical Modeling, Artificial Intelligence, Data Preprocessing, Deep Learning, Data Mining, Decision Tree Learning, Computer Vision, Statistical Machine Learning

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

    Intermediate · Specialization · 3 - 6 Months

  • Status: Popular This Week
    Popular This Week
    U

    University of Michigan

    Python 3 Programming

    Skills you'll gain: Unified Modeling Language, JSON, Object Oriented Programming (OOP), File I/O, Software Design, Debugging, Object Oriented Design, Data Processing, Web Scraping, Unit Testing, Programming Principles, Program Development, Python Programming, Data Import/Export, Restful API, Image Analysis, Data Manipulation, Jupyter, Computer Programming, Data Structures

    4.8
    Rating, 4.8 out of 5 stars
    ·
    23K reviews

    Beginner · Specialization · 3 - 6 Months

  • S

    Stanford University

    Algorithms

    Skills you'll gain: Data Structures, Graph Theory, Algorithms, Bioinformatics, Theoretical Computer Science, Network Model, Programming Principles, Social Network Analysis, Network Analysis, Computational Thinking, Analysis, Computer Science, Network Routing, Probability, Pseudocode, Computational Logic, Operations Research

    4.8
    Rating, 4.8 out of 5 stars
    ·
    6K reviews

    Intermediate · Specialization · 3 - 6 Months

  • U

    University at Buffalo

    Blockchain Basics

    Skills you'll gain: Blockchain, Cryptography, Transaction Processing, Network Protocols, Encryption, Data Structures, Distributed Computing, Virtual Environment, Data Integrity, Emerging Technologies, Data Validation, Algorithms, Verification And Validation

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

    Beginner · Course · 1 - 4 Weeks

  • D

    DeepLearning.AI

    Structuring Machine Learning Projects

    Skills you'll gain: Transfer Learning, Deep Learning, Applied Machine Learning, Machine Learning, MLOps (Machine Learning Operations), Debugging, AI Product Strategy, Model Evaluation, Data-Driven Decision-Making, Performance Tuning

    4.8
    Rating, 4.8 out of 5 stars
    ·
    50K reviews

    Beginner · Course · 1 - 4 Weeks

  • U

    University of Toronto

    Introduction to Psychology

    Skills you'll gain: Psychology, Mental Health Diseases and Disorders, Mental Health Therapies, Human Development, Mental Health, Social Sciences, Scientific Methods, Neurology, Experimentation, Cultural Diversity

    4.9
    Rating, 4.9 out of 5 stars
    ·
    5.4K reviews

    Mixed · Course · 1 - 3 Months

  • E

    EDUCBA

    Analyze Advanced Investment Topics and Valuation Models

    Skills you'll gain: Environmental Social And Corporate Governance (ESG), Business Ethics, Mergers & Acquisitions, Investments, Real Estate, Business Valuation, Econometrics, Financial Analysis, Financial Modeling, Equities, Statistical Methods, Regression Analysis, Corporate Finance, International Finance, Market Dynamics

    Beginner · Course · 1 - 3 Months

1…313233…399

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

  • ASP.NET 6.0 - Build Hands-On Web Projects: Packt
  • Biostatistics in Public Health: Johns Hopkins University
  • Eyes on AI - Computer Vision Engineering: Coursera
  • Apply SketchUp for Beginner-Level 3D Modeling: EDUCBA
  • Calculate VaR: Market Risk Measurement: Coursera
  • Machine Learning: University of Washington
  • Python 3 Programming: University of Michigan
  • Algorithms: Stanford University
  • Blockchain Basics: University at Buffalo
  • Structuring Machine Learning Projects: DeepLearning.AI

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