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

Results for "quantitative model checking"


  • P

    Parsons School of Design, The New School

    Leveraging Design Methods to Identify Business Opportunities

    Skills you'll gain: Design Thinking, Market Opportunities, Business Risk Management, Design and Product, Strategic Thinking, Process Design, Human Centered Design, Innovation, Design, User Experience, Business Modeling, Customer experience strategy (CX), Ethical Standards And Conduct

    4.7
    Rating, 4.7 out of 5 stars
    ·
    17 reviews

    Intermediate · Course · 1 - 4 Weeks

  • P

    Packt

    Python - Complete Python, Django, Data Science and ML Guide

    Skills you'll gain: Predictive Modeling, Data Preprocessing, Django (Web Framework), Data Visualization, Model Evaluation, Machine Learning Methods, Feature Engineering, Programming Principles, Databases, Game Design, Development Environment, Data Science, Web Applications, Animation and Game Design, Application Frameworks, Scripting, Scripting Languages, Software Design Patterns, Functional Design, Data Validation

    Intermediate · Specialization · 3 - 6 Months

  • X

    Xi'an Jiaotong University

    基于.Net的Web开发技术

    Skills you'll gain: ASP.NET, .NET Framework, Web Development, Database Application, Object Oriented Programming (OOP), Web Applications, Javascript, HTML and CSS, Web Design, Data Access, Web Servers, Data Validation

    4.7
    Rating, 4.7 out of 5 stars
    ·
    6 reviews

    Mixed · Course · 1 - 4 Weeks

  • E

    Edureka

    Natural Language Processing Essentials

    Skills you'll gain: Classification Algorithms, Machine Learning Methods, Data Preprocessing, Model Evaluation, Embeddings

    3
    Rating, 3 out of 5 stars
    ·
    6 reviews

    Beginner · Course · 1 - 4 Weeks

  • P

    Packt

    .NET 8 Backend Bootcamp – Modulith, DDD & CQRS

    Skills you'll gain: Application Deployment, Integration Testing, Object-Relational Mapping, API Design, ASP.NET, Database Design, Enterprise Architecture, Docker (Software), Database Systems, Systems Integration, Data Validation, Business Logic, Development Environment

    4.5
    Rating, 4.5 out of 5 stars
    ·
    6 reviews

    Intermediate · Specialization · 3 - 6 Months

  • C

    Coursera

    Energy Modeling: Predicting & Optimizing Consumption

    Skills you'll gain: Scenario Testing, Energy and Utilities, Mathematical Modeling, Predictive Analytics, Experimentation, Laboratory Experience, Google Gemini, Predictive Modeling, Data-Driven Decision-Making, Forecasting, Data Modeling, Analytics, 3D Modeling, Simulation and Simulation Software, Simulations, Waste Minimization, Sustainable Technologies, Data Visualization, Artificial Intelligence, Search Engine Optimization

    Intermediate · Course · 1 - 4 Weeks

  • U

    University of Michigan

    Logistic Regression and Prediction for Health Data

    Skills you'll gain: Logistic Regression, Model Evaluation, Statistical Inference, Predictive Analytics, R Programming, Statistical Modeling, Statistical Methods, Biostatistics, Regression Analysis, Statistical Analysis, Statistics, Statistical Hypothesis Testing, Data Analysis

    Intermediate · Course · 1 - 4 Weeks

  • P

    Pearson

    Certified Ethical Hacker (CEH): Unit 8

    Skills you'll gain: AI Security, Threat Management, MITRE ATT&CK Framework, LangChain, Threat Detection, Responsible AI, Large Language Modeling, Continuous Monitoring, Security Testing, Generative AI, Embeddings, System Monitoring, LangGraph, Prompt Engineering, Vector Databases, Model Evaluation

    Intermediate · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Java Servlets Tutorial

    Skills you'll gain: Model View Controller, Java Platform Enterprise Edition (J2EE), Back-End Web Development, Server Side, Data Access, Apache Tomcat, Application Servers, Relational Databases, Databases, Java, Web Servers, SQL, Authentications, Web Applications, Secure Coding, Software Design Patterns, Data Persistence, Context Management

    4.7
    Rating, 4.7 out of 5 stars
    ·
    28 reviews

    Intermediate · Course · 1 - 3 Months

  • E

    EDUCBA

    Deep Learning with ANN in Python: Build & Optimize

    Skills you'll gain: Keras (Neural Network Library), Tensorflow, Artificial Neural Networks, Deep Learning, Data Preprocessing, Model Evaluation, Customer Analysis, Applied Machine Learning, Scikit Learn (Machine Learning Library), Development Environment, Predictive Analytics, Pandas (Python Package), Data Cleansing

    4.6
    Rating, 4.6 out of 5 stars
    ·
    17 reviews

    Mixed · Course · 1 - 4 Weeks

  • S

    Scrimba

    Intro to Claude AI

    Skills you'll gain: Anthropic Claude, OpenAI API, Prompt Engineering, LLM Application, Generative AI, Large Language Modeling, Multimodal Prompts, Artificial Intelligence, Responsible AI, Cloud Deployment, Restful API, API Design

    4.5
    Rating, 4.5 out of 5 stars
    ·
    23 reviews

    Intermediate · Course · 1 - 4 Weeks

  • K

    KodeKloud

    Introduction to OpenAI

    Skills you'll gain: Prompt Engineering, OpenAI, OpenAI API, Responsible AI, Multimodal Prompts, AI Enablement, ChatGPT, Data Ethics, Artificial Intelligence, Generative AI, Tool Calling, AI Workflows, LLM Application, Image Analysis, Large Language Modeling, Natural Language Processing, Vision Transformer (ViT), Embeddings, Computer Vision, Reinforcement Learning

    Beginner · Course · 1 - 3 Months

1…232233234…389

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

  • Leveraging Design Methods to Identify Business Opportunities: Parsons School of Design, The New School
  • Python - Complete Python, Django, Data Science and ML Guide: Packt
  • 基于.Net的Web开发技术: Xi'an Jiaotong University
  • Natural Language Processing Essentials: Edureka
  • .NET 8 Backend Bootcamp – Modulith, DDD & CQRS: Packt
  • Energy Modeling: Predicting & Optimizing Consumption: Coursera
  • Logistic Regression and Prediction for Health Data: University of Michigan
  • Certified Ethical Hacker (CEH): Unit 8: Pearson
  • Java Servlets Tutorial: EDUCBA
  • Deep Learning with ANN in Python: Build & Optimize: 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