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

Results for "quantitative model checking"


  • U

    University of Colorado Boulder

    Equivalences, Abstraction, and Partial Order Reduction

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

    Beginner · Course · 1 - 4 Weeks

  • I

    Imperial College London

    Developing the SIR Model

    Skills you'll gain: Epidemiology, Infectious Diseases, Mathematical Modeling, Public Health, R Programming, Differential Equations

    4.9
    Rating, 4.9 out of 5 stars
    ·
    274 reviews

    Intermediate · Course · 1 - 4 Weeks

  • P

    Packt

    Essential Guide to LLMOps

    Skills you'll gain: LLM Application, MLOps (Machine Learning Operations), Large Language Modeling, Data Processing, Model Deployment, AI Workflows, Prompt Engineering, Responsible AI, Generative AI, Scalability, Artificial Intelligence and Machine Learning (AI/ML), Model Evaluation, Data Transformation, Continuous Monitoring, Feature Engineering, Natural Language Processing, Artificial Intelligence, Data Collection

    Advanced · Course · 1 - 3 Months

  • C

    Coursera

    Tidymodels in R: Building tidy machine learning models

    Skills you'll gain: Tidyverse (R Package), Model Evaluation, Data Visualization, Clinical Data Management, Data Preprocessing, Data Manipulation, Predictive Modeling, R Programming, Predictive Analytics, Data Pipelines, Feature Engineering, Applied Machine Learning, Machine Learning, Random Forest Algorithm, Performance Tuning, Logistic Regression

    Intermediate · Guided Project · Less Than 2 Hours

  • D

    DeepLearning.AI

    Quantization in Depth

    Skills you'll gain: PyTorch (Machine Learning Library), Model Evaluation

    4.7
    Rating, 4.7 out of 5 stars
    ·
    6 reviews

    Intermediate · Project · Less Than 2 Hours

  • D

    DeepLearning.AI

    Quantization Fundamentals with Hugging Face

    Skills you'll gain: Generative AI, Hugging Face, Large Language Modeling, Performance Tuning, Model Deployment, Transfer Learning

    4.8
    Rating, 4.8 out of 5 stars
    ·
    15 reviews

    Beginner · Project · Less Than 2 Hours

  • B

    Birla Institute of Technology & Science, Pilani

    Logic for Computer Science

    Skills you'll gain: Computational Logic, Logical Reasoning, Deductive Reasoning, Theoretical Computer Science, Analytical Skills, Programming Principles, Computer Science, Data Analysis, Computer Programming, Algorithms, Verification And Validation, Systems Analysis, Software Development, Machine Learning

    Beginner · Course · 1 - 3 Months

  • E

    EDUCBA

    Quantitative Finance with SAS: Apply, Analyze & Evaluate

    Skills you'll gain: SAS (Software), Descriptive Statistics, Market Data, Risk Modeling, Regression Analysis, Statistical Methods, Financial Modeling, Statistical Hypothesis Testing, Correlation Analysis, Data Analysis Software, Statistical Analysis, Quantitative Research, Financial Market, Time Series Analysis and Forecasting, Trend Analysis, Financial Analysis, Variance Analysis

    4.9
    Rating, 4.9 out of 5 stars
    ·
    12 reviews

    Mixed · Course · 1 - 4 Weeks

  • C

    Cisco Learning and Certifications

    Introducing Model-Driven Programmability

    Skills you'll gain: Software-Defined Networking, YAML, Network Architecture, Network Protocols, Network Routing, Computer Networking, Data Modeling, Extensible Markup Language (XML), JSON, Automation, Application Programming Interface (API)

    4.8
    Rating, 4.8 out of 5 stars
    ·
    14 reviews

    Intermediate · Course · 1 - 4 Weeks

  • S

    SAS

    Managing Machine Learning Models

    Skills you'll gain: Model Deployment, MLOps (Machine Learning Operations), Model Evaluation, Machine Learning Software, Workflow Management, Predictive Modeling, Business Process, Governance Risk Management and Compliance, Continuous Monitoring, SAS (Software), Text Mining, R Programming, Scheduling

    Intermediate · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Master Quality Models with CMMI: Analyze, Apply & Improve

    Skills you'll gain: Continuous Improvement Process, Process Improvement, Risk Management, Performance Measurement, Quality Management, Process Analysis, Performance Management, Project Management, Process Optimization, Verification And Validation, Requirements Analysis, Project Planning, Root Cause Analysis

    5
    Rating, 5 out of 5 stars
    ·
    23 reviews

    Mixed · Course · 1 - 4 Weeks

  • 2

    28DIGITAL

    System Validation (3): Requirements by modal formulas

    Skills you'll gain: Verification And Validation, Computational Logic, System Requirements, Data Validation, Functional Requirement, Systems Design, Theoretical Computer Science

    4.5
    Rating, 4.5 out of 5 stars
    ·
    13 reviews

    Advanced · Course · 1 - 4 Weeks

1…8910…391

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

  • Equivalences, Abstraction, and Partial Order Reduction: University of Colorado Boulder
  • Developing the SIR Model: Imperial College London
  • Essential Guide to LLMOps: Packt
  • Tidymodels in R: Building tidy machine learning models: Coursera
  • Quantization in Depth: DeepLearning.AI
  • Quantization Fundamentals with Hugging Face: DeepLearning.AI
  • Logic for Computer Science: Birla Institute of Technology & Science, Pilani
  • Quantitative Finance with SAS: Apply, Analyze & Evaluate: EDUCBA
  • Introducing Model-Driven Programmability: Cisco Learning and Certifications
  • Managing Machine Learning Models: SAS

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