• 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 Trial
    Free Trial
    U

    University of Colorado Boulder

    Cannabis, Chronic Pain, and Related Disorders

    Skills you'll gain: Pain Management, Public Health, Health Policy, Substance Abuse, Research, Hospice, Epidemiology, Chronic Diseases, Oncology, Pharmacology, Mental Health, Nutrition and Diet

    4.6
    Rating, 4.6 out of 5 stars
    ·
    151 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    University of Illinois Urbana-Champaign

    Managing Supply Chain Disruption During COVID-19

    Skills you'll gain: Supply Chain Management, Supply Chain, Supply Chain Planning, Supply Management, Supplier Management, Materials Management, Risk Management, Risk Mitigation, Logistics Management, Logistics, Crisis Management, Supplier Relationship Management, Contingency Planning, Manufacturing Operations, Demand Planning, Case Studies, Personal protective equipment, Operational Efficiency, Capacity Management, Business Strategies

    4.7
    Rating, 4.7 out of 5 stars
    ·
    140 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    Universidad Austral

    La escuela rural y su comunidad: herramientas para la acción

    Skills you'll gain: Program Evaluation, Community Outreach, Education and Training, Community Development, Teaching, Curriculum Planning, Mentorship, Student Support and Services, Family Support, Cultural Responsiveness

    4.8
    Rating, 4.8 out of 5 stars
    ·
    84 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    B

    Board Infinity

    Building Applications with Spring Boot and MVC Architecture

    3.9
    Rating, 3.9 out of 5 stars
    ·
    11 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    J

    Johns Hopkins University

    Управление анализом данных

    Skills you'll gain: Data Presentation, Statistical Reporting, Data Collection, Data Analysis, Data Management, Analytical Skills, Management Reporting, Exploratory Data Analysis, Data Modeling, Coordination, Statistical Modeling, Communication

    4.8
    Rating, 4.8 out of 5 stars
    ·
    51 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Cape Town

    Capstone Course: Start Up Your Fintech Future

    Skills you'll gain: Business Modeling, Video Production, Entrepreneurship, FinTech, Business Planning, Business Strategy, Presentations, Financial Regulations, Value Propositions, Innovation, Brainstorming, Market Opportunities, Customer Analysis

    4.6
    Rating, 4.6 out of 5 stars
    ·
    20 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    H

    Harvard Business Review

    Build High-Performing Teams

    Skills you'll gain: Innovation, Team Performance Management, Constructive Feedback, Talent Management, Employee Retention, Teamwork, Employee Coaching, Team Building, Crisis Management, Creative Thinking, Team Management, Virtual Teams, Talent Acquisition, Workforce Development, Curiosity, Ideation, Organizational Change, Strategic Leadership, Leadership, Leadership Development

    4.8
    Rating, 4.8 out of 5 stars
    ·
    6 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    U

    University of Geneva

    Global Statistics - Composite Indices for International Comparisons

    Skills you'll gain: Data Synthesis, Analytical Skills, International Relations, Economic Development, Statistics, Economics, Market Opportunities, Data Analysis, Labor Compliance, Social Studies, Data Quality, Transportation Operations

    4.6
    Rating, 4.6 out of 5 stars
    ·
    50 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    R

    Rice University

    Финансы для нефинансистов

    Skills you'll gain: Capital Budgeting, Finance, Capital Expenditure, Financial Analysis, Financial Modeling, Business Valuation, Financial Management, Return On Investment, Cash Flows, Spreadsheet Software, Financial Statements, Investment Management, Risk Analysis

    4.5
    Rating, 4.5 out of 5 stars
    ·
    16 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    D

    DeepLearning.AI

    Data I/O and Preprocessing with Python and SQL

    Skills you'll gain: Web Scraping, Extract, Transform, Load, Data Manipulation, Data Preprocessing, Data Validation, Data Ethics, Data Cleansing, SQL, Data Transformation, JSON, Query Languages, Data Pipelines, Pandas (Python Package), Data Collection, Generative AI, Relational Databases, Data Integrity, Unstructured Data, Application Programming Interface (API), Authentications

    4.7
    Rating, 4.7 out of 5 stars
    ·
    20 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    G

    Genentech

    Hands On Clinical Reporting Using R

    Skills you'll gain: Clinical Data Management, Clinical Trials, Interactive Data Visualization, Drug Development, Data Presentation, R (Software), Pharmaceuticals, Shiny (R Package), Data Visualization, Statistical Reporting, Data Modeling, R Programming, Technical Communication, Data Manipulation, Statistical Programming, Data Import/Export, Data Transformation, Data Science

    4.5
    Rating, 4.5 out of 5 stars
    ·
    17 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Virginia

    Coding with AI for MBAs

    Skills you'll gain: Model View Controller, Debugging, Integrated Development Environments, Software Design, User Interface (UI), Responsive Web Design, HTML and CSS, Data Modeling, Database Design, Web Design and Development, Software Development Tools, NoSQL, Database Architecture and Administration, Application Programming Interface (API), UI Components, OpenAI, ChatGPT, Web Applications, Version Control, Programming Principles

    Beginner · Specialization · 1 - 3 Months

1…220221222…408

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

  • Cannabis, Chronic Pain, and Related Disorders: University of Colorado Boulder
  • Managing Supply Chain Disruption During COVID-19: University of Illinois Urbana-Champaign
  • La escuela rural y su comunidad: herramientas para la acción: Universidad Austral
  • Building Applications with Spring Boot and MVC Architecture: Board Infinity
  • Управление анализом данных: Johns Hopkins University
  • Capstone Course: Start Up Your Fintech Future: University of Cape Town
  • Build High-Performing Teams: Harvard Business Review
  • Global Statistics - Composite Indices for International Comparisons: University of Geneva
  • Финансы для нефинансистов: Rice University
  • Data I/O and Preprocessing with Python and SQL: 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