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

Results for "quantitative model checking"


  • C

    Coursera

    Analyze and Guide Capital Investments

    Skills you'll gain: Capital Budgeting, Return On Investment, Financial Analysis, Financial Acumen, Investment Management, Financial Modeling, Forecasting, Data Analysis, Risk Analysis, Microsoft Excel, Communication, Analytical Skills

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Optimizing Models for Production

    Skills you'll gain: Model Deployment, Generative AI, Performance Tuning, Model Evaluation, Cross Platform Development, PyTorch (Machine Learning Library), Cloud Deployment, Applied Machine Learning, Application Performance Management, Development Environment, Hardware Architecture

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Basics of Healthcare Data Analytics: Boost Patient Outcomes

    Skills you'll gain: Data Integrity, Health Insurance Portability And Accountability Act (HIPAA) Compliance, Dashboard, Data Storytelling, Health Information Management, Data Cleansing, Health Informatics, Data Governance, Clinical Data Management, Patient Safety, Data Visualization, Data Security, Health Information Management and Medical Records, Data Analysis, Data Validation, Data Transformation, Statistical Analysis, Microsoft Excel, Data-Driven Decision-Making, SQL

    Beginner · Specialization · 3 - 6 Months

  • C

    Coursera

    Optimizing AI Workflows and Deploying Edge Models

    Skills you'll gain: PyTorch (Machine Learning Library), Model Evaluation, Model Deployment, MLOps (Machine Learning Operations), AI Workflows, Tensorflow, Dataflow, Performance Tuning, Deep Learning, Dashboard, Data Pipelines, Grafana, Artificial Neural Networks, Data Processing, Resource Utilization, Performance Analysis, Performance Metric, Data Manipulation

    Intermediate · Course · 1 - 3 Months

  • E

    EDUCBA

    Apply Dart Programming from Fundamentals to Advanced

    Skills you'll gain: Scalability, Application Design, Event-Driven Programming, Object Oriented Programming (OOP), Functional Design, Application Development, User Flows, Computer Programming, Integrated Development Environments, Software Architecture, Debugging, Mobile Development, Data Validation, Data Analysis

    Beginner · Specialization · 1 - 3 Months

  • U

    University of Illinois at Urbana-Champaign

    Managerial Economics & Business Analysis Graduate Certificate

    Skills you'll gain: Business Strategy, Data Visualization, Data Storytelling, Management Accounting, Model Evaluation, Fund Accounting, Operations Management, Organizational Change, Audit Planning, Mergers & Acquisitions, Financial Statement Analysis, Project Closure, Risk Management, Social Determinants Of Health, Revenue Recognition, Entrepreneurship, Data Governance, Financial Auditing, Generative AI, Supply And Demand

    Credit offered

    Graduate Certificate · 6 - 12 Months

  • U

    University of Michigan

    Statistics with Python

    Skills you'll gain: Statistical Hypothesis Testing, Sampling (Statistics), Statistical Modeling, Statistical Methods, Statistical Inference, Bayesian Statistics, Data Visualization, Plot (Graphics), Data Literacy, Statistics, Matplotlib, Statistical Software, Probability & Statistics, Model Evaluation, Seaborn, Statistical Analysis, Jupyter, Statistical Programming, Statistical Machine Learning, Python Programming

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

    Beginner · Specialization · 1 - 3 Months

  • E

    EDUCBA

    Apply Advanced Java Case Studies & TestNG Automation

    Skills you'll gain: Java, Java Programming, Object Oriented Design, Object Oriented Programming (OOP), User Interface (UI) Design, Unit Testing, JUnit, Data Validation, Software Development, Application Design, Development Testing, Application Development, Test Automation, Test Case, Data Modeling, System Design and Implementation, Databases, Software Documentation, Development Environment, Software Testing

    Beginner · Specialization · 1 - 3 Months

  • C

    Coursera

    Document AI: Project & API Writing

    Skills you'll gain: Software Documentation, Engineering Documentation, Technical Documentation, Technical Writing, Technical Communication

    Intermediate · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Analyze Business Data with Power BI & DAX

    Skills you'll gain: Data Analysis Expressions (DAX), Power BI, Gross Profit, Dashboard, Data Modeling, Data Import/Export, Interactive Data Visualization, Microsoft Power Platform, People Analytics, Data Analysis, Business Intelligence, Business Reporting, Data Transformation, Data-Driven Decision-Making, Microsoft Excel, Case Studies, Stakeholder Analysis, Business Analysis, Performance Analysis, Data Cleansing

    Beginner · Specialization · 3 - 6 Months

  • C

    Coursera

    ETL Testing Basics for Databases

    Skills you'll gain: Extract, Transform, Load, Data Pipelines, Data Warehousing, Data Transformation, Data Integration, Databases, Data Manipulation, Real Time Data, AI Workflows, Database Management, Business Workflow Analysis, Performance Tuning, Process Design, Data Validation, Apache, Scalability, Design

    Beginner · Course · 1 - 4 Weeks

  • D

    DeepLearning.AI

    Natural Language Processing with Probabilistic Models

    Skills you'll gain: Natural Language Processing, Markov Model, Embeddings, Text Mining, Data Preprocessing, Artificial Neural Networks, Machine Learning Methods, Algorithms, Statistical Modeling, Probability & Statistics

    4.7
    Rating, 4.7 out of 5 stars
    ·
    1.8K reviews

    Intermediate · Course · 1 - 4 Weeks

1…787980…399

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

  • Analyze and Guide Capital Investments: Coursera
  • Optimizing Models for Production: Coursera
  • Basics of Healthcare Data Analytics: Boost Patient Outcomes: Coursera
  • Optimizing AI Workflows and Deploying Edge Models: Coursera
  • Apply Dart Programming from Fundamentals to Advanced: EDUCBA
  • Managerial Economics & Business Analysis Graduate Certificate: University of Illinois at Urbana-Champaign
  • Statistics with Python: University of Michigan
  • Apply Advanced Java Case Studies & TestNG Automation: EDUCBA
  • Document AI: Project & API Writing: Coursera
  • Analyze Business Data with Power BI & DAX: EDUCBA

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