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

    Information​ ​Systems

    Skills you'll gain: Enterprise Resource Planning, Business Systems Analysis, Systems Analysis, Requirements Analysis, Cybersecurity, Business Requirements, Business Analysis, Business Systems, Cloud Computing, Cloud Services, Change Management, Business Technologies, Information Technology, Organizational Change, Technology Strategies, Process Flow Diagrams, System Implementation, Governance, Project Management, Critical Thinking

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

    Beginner · Specialization · 3 - 6 Months

  • E

    EDUCBA

    Build AngularJS Mobile Apps with Practical Case Studies

    Skills you'll gain: Angular, Mobile Development, Service Design, Front-End Web Development, UI Components, Data Validation, Application Development, Application Frameworks, Service Oriented Architecture, JavaScript Frameworks, Business Logic

    Beginner · Course · 1 - 4 Weeks

  • P

    Pragmatic AI Labs

    GitHub: Evaluating and Integrating AI Models

    Beginner · Course · 1 - 4 Weeks

  • U

    University of California San Diego

    Algorithms on Graphs

    Skills you'll gain: Graph Theory, Algorithms, Network Routing, Programming Principles, Social Network Analysis, Data Structures, Network Analysis, Network Model

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

    Intermediate · Course · 1 - 3 Months

  • J

    JetBrains

    Build a Game with an AI Coding Agent

    Skills you'll gain: Video Game Development, Generative AI Agents, Prompt Engineering, Game Design, Code Review, 3D Assets, Animation and Game Design, 3D Modeling, Integrated Development Environments, Artificial Intelligence, Generative AI, Project Planning, Javascript, Software Development, Product Development, Web Development, Product Design, Animations, Visual Design, Interactive Data Visualization

    Beginner · Course · 1 - 4 Weeks

  • P

    Pragmatic AI Labs

    GitHub: Governing AI-Generated Code

    Beginner · Course · 1 - 4 Weeks

  • U

    University of London

    Mathematical Foundations for Computing

    Skills you'll gain: Theoretical Computer Science, Computational Logic, Programming Principles, Computer Science, Algorithms, Computational Thinking, Database Theory, Mathematical Modeling, Data Structures, General Mathematics, Applied Mathematics, Business Mathematics, Advanced Mathematics, Logical Reasoning, Problem Solving

    Beginner · Course · 1 - 4 Weeks

  • P

    Pontificia Universidad Católica de Chile

    Introducción a los modelos de demanda de transporte

    Skills you'll gain: Data Collection, Transportation Operations, Surveys, Quantitative Research, Mathematical Modeling, Predictive Modeling, Statistical Methods, Regression Analysis, Model Evaluation, Logistic Regression, Spatial Analysis

    4.7
    Rating, 4.7 out of 5 stars
    ·
    466 reviews

    Intermediate · Course · 1 - 3 Months

  • C

    Coursera

    Evaluate and Create ML Workflows Visually

    Intermediate · Course · 1 - 4 Weeks

  • G

    Google Cloud

    Getting started with Google Workspace

    Skills you'll gain: Google Docs, Gmail, Google Sheets, Google Workspace, Presentations, Calendar Management, Spreadsheet Software, File Management, Excel Formulas, Email Security, Collaborative Software, Data Visualization, Productivity Software, Data Validation, Document Management, Setting Appointments, Meeting Facilitation, Sales Presentations, Data Analysis Expressions (DAX), Version Control

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

    Beginner · Specialization · 3 - 6 Months

  • U

    University of Alberta

    Object-Oriented Design

    Skills you'll gain: Object Oriented Design, Unified Modeling Language, Software Design, Software Design Patterns, Object Oriented Programming (OOP), Java, Maintainability, Application Design

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

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Probabilistic Graphical Models: A Compact Introduction

    Skills you'll gain: Bayesian Network, Predictive Modeling, Machine Learning Methods, Markov Model, Statistical Modeling, Artificial Intelligence, Statistical Inference, Graph Theory, Network Analysis, Probability & Statistics, Sampling (Statistics), Algorithms, Scalability

    Intermediate · Course · 1 - 4 Weeks

1…474849…391

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

  • Information​ ​Systems: University of Minnesota
  • Build AngularJS Mobile Apps with Practical Case Studies: EDUCBA
  • GitHub: Evaluating and Integrating AI Models: Pragmatic AI Labs
  • Algorithms on Graphs: University of California San Diego
  • Build a Game with an AI Coding Agent: JetBrains
  • GitHub: Governing AI-Generated Code: Pragmatic AI Labs
  • Mathematical Foundations for Computing: University of London
  • Introducción a los modelos de demanda de transporte: Pontificia Universidad Católica de Chile
  • Evaluate and Create ML Workflows Visually: Coursera
  • Getting started with Google Workspace: Google Cloud

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