• 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
    C

    Coursera

    Transforming Exploratory Data Analysis with AI

    Skills you'll gain: Responsible AI, Generative AI, Artificial Intelligence, Exploratory Data Analysis, Data Cleansing, Data-Driven Decision-Making, Real Time Data, Data Analysis, AI Workflows, Data Processing, Pandas (Python Package), Automation, Data Validation

    3.8
    Rating, 3.8 out of 5 stars
    ·
    6 reviews

    Intermediate · Course · 1 - 4 Weeks

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

    Edureka

    Building AI Agents with OpenAI

    Skills you'll gain: Model Context Protocol, OpenAI API, Retrieval-Augmented Generation, AI Workflows, AI Orchestration, OpenAI, LLM Application, Generative AI Agents, Embeddings, Cloud Deployment, Artificial Intelligence and Machine Learning (AI/ML), Application Deployment, Tool Calling, ChatGPT, Artificial Intelligence, Vector Databases, Agentic systems, Prompt Engineering, Application Programming Interface (API), Responsible AI

    Intermediate · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    H

    Howard University

    Business Problem Solving

    Skills you'll gain: Regression Analysis, Correlation Analysis, Financial Modeling, Spreadsheet Software, Business Analysis, Business Modeling, Business Analytics, Microsoft Excel, Data Modeling, Statistical Analysis, Analysis, Forecasting, Risk Analysis, Data Analysis, Product Assortment, Complex Problem Solving, Predictive Modeling, Price Negotiation, Business Process, Business Strategy

    4.7
    Rating, 4.7 out of 5 stars
    ·
    33 reviews

    Intermediate · Specialization · 1 - 3 Months

  • C

    Coursera

    Interpretable machine learning applications: Part 5

    Skills you'll gain: Model Evaluation, Responsible AI, Exploratory Data Analysis, Predictive Modeling, Data Visualization, Machine Learning, Policy Analysis, Statistical Methods, Data Science, Data Ethics, Development Environment, Software Engineering

    4.6
    Rating, 4.6 out of 5 stars
    ·
    27 reviews

    Beginner · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    I

    Illinois Tech

    Financial Statement Applications

    Skills you'll gain: Financial Statement Analysis, Financial Statements, Financial Analysis, Inventory Accounting, Generally Accepted Accounting Principles (GAAP), Financial Accounting, Income Statement, Cash Flows, Balance Sheet, Profit and Loss (P&L) Management, Financial Forecasting, Working Capital, Fraud detection, Trend Analysis

    Build toward a degree

    3.4
    Rating, 3.4 out of 5 stars
    ·
    16 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    C

    Coursera

    Well Being & Self Care: for Physical and Mental Health

    Skills you'll gain: Stress Management, Personal Care, Mindfulness, Preventative Care, Growth Mindedness, Behavioral Health, Personal Development, Health And Wellness Coaching, Productivity, Self-Awareness, Mental Health, Resilience, Health Promotion, Behavior Management, Goal Setting, Positive Behavior Support, Exercise Science

    4.8
    Rating, 4.8 out of 5 stars
    ·
    70 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    Universidad de los Andes

    Recuperación de proyectos en crisis

    Skills you'll gain: Earned Value Management, Project Risk Management, Crisis Management, Project Documentation, Project Controls, Project Management, Case Studies, Project Performance, Stakeholder Management, Decision Making

    4.9
    Rating, 4.9 out of 5 stars
    ·
    69 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    L

    LearnQuest

    Object-Oriented Programming Concepts

    Skills you'll gain: Unified Modeling Language, Object Oriented Programming (OOP), Object Oriented Design, Test Driven Development (TDD), Software Design Patterns, Software Design, Programming Principles, Computer Programming, Java Programming, Software Development Methodologies, Distributed Computing

    4.5
    Rating, 4.5 out of 5 stars
    ·
    149 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    S

    SkillUp

    Network Traffic Analysis with Wireshark

    Skills you'll gain: Network Monitoring, Intrusion Detection and Prevention, Network Troubleshooting, Network Security, Incident Response, Anomaly Detection, Network Analysis, Digital Forensics, Cyber Security Assessment, Network Protocols, Threat Detection, Technical Communication, Distributed Denial-Of-Service (DDoS) Attacks, Computer Security, Cybersecurity, Vulnerability Assessments

    4.8
    Rating, 4.8 out of 5 stars
    ·
    17 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    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

  • Status: Free Trial
    Free Trial
    E

    EDUCBA

    Advanced C# Programming in .NET Core

    Skills you'll gain: C# (Programming Language), Software Architecture, .NET Framework, Distributed Computing, Scalability, Object Oriented Programming (OOP), Object-Relational Mapping, Microservices, Debugging, MongoDB, Data Access, Model View Controller, Performance Tuning, Computer Programming, Maintainability, NoSQL

    4.5
    Rating, 4.5 out of 5 stars
    ·
    103 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    Politics and Ethics of Data Analytics in the Public Sector

    Skills you'll gain: Data Ethics, Policy Analysis, Case Studies, Political Sciences, Data Analysis, Responsible AI, Public Policies, Analytics, Model Evaluation, Data Presentation, Data-Driven Decision-Making, Ethical Standards And Conduct, R Programming, Machine Learning

    4.8
    Rating, 4.8 out of 5 stars
    ·
    18 reviews

    Intermediate · Course · 1 - 4 Weeks

1…219220221…408

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

  • Transforming Exploratory Data Analysis with AI: Coursera
  • Building AI Agents with OpenAI: Edureka
  • Business Problem Solving: Howard University
  • Interpretable machine learning applications: Part 5: Coursera
  • Financial Statement Applications: Illinois Tech
  • Well Being & Self Care: for Physical and Mental Health: Coursera
  • Recuperación de proyectos en crisis: Universidad de los Andes
  • Object-Oriented Programming Concepts: LearnQuest
  • Network Traffic Analysis with Wireshark: SkillUp
  • Basics of Healthcare Data Analytics: Boost Patient Outcomes: 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