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

Results for "quantitative model checking"


  • Status: New
    New
    Status: Free
    Free
    A

    Anthropic

    Building with the Claude API

    Skills you'll gain: Prompt Engineering, AI Workflows, Agentic Workflows, Model Context Protocol, Retrieval-Augmented Generation, Anthropic Claude, Application Programming Interface (API), API Design, Tool Calling, Embeddings, Vector Databases, Model Evaluation

    4.7
    Rating, 4.7 out of 5 stars
    ·
    54 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    P

    Pearson

    Certified Ethical Hacker (CEH): Unit 1

    Skills you'll gain: Penetration Testing, Cyber Security Assessment, Security Testing, Cybersecurity, Cyber Operations, Information Systems Security, Information Systems Security Assessment Framework (ISSAF), Cyber Security Strategy, Vulnerability Assessments, Cyber Threat Intelligence, Threat Modeling, Exploit development, Exploitation techniques, Cyber Attacks, Cyber Security Policies, Computer Security, Security Controls, Data Security

    4.6
    Rating, 4.6 out of 5 stars
    ·
    13 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    P

    Packt

    The Complete LangChain & LLMs Guide

    Skills you'll gain: LangChain, LLM Application, Prompt Engineering, Large Language Modeling, OpenAI API, Hugging Face, ChatGPT, Embeddings, AI Workflows, Development Environment, Generative AI Agents, Retrieval-Augmented Generation, Vector Databases, Python Programming, Document Management, Application Development, Context Management

    4.8
    Rating, 4.8 out of 5 stars
    ·
    23 reviews

    Intermediate · Course · 3 - 6 Months

  • Status: Preview
    Preview
    J

    Johns Hopkins University

    Strategies for Assisted Living Communities during COVID-19

    Skills you'll gain: Home Health Care and Assisted Living, Infection Control, Personal protective equipment, Emergency Response, Long Term Care, Patient Communication, Mental Health, Community Health, Public Health, Diagnostic Tests, Infectious Diseases, Policy Development, Education and Training

    4.8
    Rating, 4.8 out of 5 stars
    ·
    268 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free
    Free
    C

    Coursera

    Aerial Image Segmentation with PyTorch

    Skills you'll gain: PyTorch (Machine Learning Library), Convolutional Neural Networks, Transfer Learning, Model Evaluation, Image Analysis, Computer Vision, Deep Learning, Python Programming

    4
    Rating, 4 out of 5 stars
    ·
    32 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • C

    Coursera

    Prompt Engineering with GPT: Programming for Custom Content

    Skills you'll gain: Prompt Engineering, OpenAI API, Generative AI, Scripting, Python Programming, Test Case, Application Programming Interface (API), Application Development, Machine Learning, Software Engineering

    4.4
    Rating, 4.4 out of 5 stars
    ·
    75 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    S

    SAS

    Analyzing Time Series and Sequential Data

    Skills you'll gain: Time Series Analysis and Forecasting, SAS (Software), Forecasting, Recurrent Neural Networks (RNNs), Feature Engineering, Statistical Analysis, Data Analysis, Digital Signal Processing, Statistical Methods, Regression Analysis, Data Transformation, Exploratory Data Analysis, Machine Learning Methods, Predictive Modeling, Advanced Analytics, Statistical Modeling, Unsupervised Learning, Data Preprocessing, Bayesian Statistics, Model Evaluation

    5
    Rating, 5 out of 5 stars
    ·
    11 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    S

    Starweaver

    Credit Analyst Academy

    Skills you'll gain: Financial Statement Analysis, Credit Risk, Financial Analysis, Loans, Environmental Social And Corporate Governance (ESG), Market Data, Derivatives, Portfolio Risk, Financial Regulation, Financial Modeling, Risk Analysis, Bank Regulations, Financial Market, Securities (Finance), Risk Management, Financial Data, Financial Services, Portfolio Management, Risk Mitigation, Project Portfolio Management

    4.7
    Rating, 4.7 out of 5 stars
    ·
    9 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    G

    Google Cloud

    Machine Learning Operations (MLOps) with Vertex AI: Manage Features

    Skills you'll gain: MLOps (Machine Learning Operations), Model Deployment, Data Modeling, Google Cloud Platform, Feature Engineering, Data Processing, Data Management, Data Storage Technologies, Data Security

    4.1
    Rating, 4.1 out of 5 stars
    ·
    15 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    C

    Codio

    Software Security for Web Applications

    Skills you'll gain: Application Security, OAuth, Data Validation, Authentications, Security Testing, Secure Coding, Web Applications, Authorization (Computing), Vulnerability Scanning, Cyber Attacks, Distributed Denial-Of-Service (DDoS) Attacks, Server Side, Security Strategy

    4.9
    Rating, 4.9 out of 5 stars
    ·
    17 reviews

    Intermediate · Course · 1 - 4 Weeks

  • P

    Packt

    3D Modeling for 3D Printing and Laser Cutting on Fusion 360

    Skills you'll gain: Visualization (Computer Graphics), 3D Assets, Design Software, Software Installation, Functional Design, Technical Design, Design, Graphical Tools, User Interface (UI), Creative Design, Data Import/Export

    4.9
    Rating, 4.9 out of 5 stars
    ·
    18 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Regression Analysis

    Skills you'll gain: Regression Analysis, Supervised Learning, Model Evaluation, Logistic Regression, Statistical Analysis, Data Analysis, Statistical Modeling, Predictive Modeling, Machine Learning Methods, Feature Engineering, Data Preprocessing, Exploratory Data Analysis

    4.9
    Rating, 4.9 out of 5 stars
    ·
    10 reviews

    Intermediate · Course · 1 - 3 Months

1…215216217…408

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

  • Building with the Claude API: Anthropic
  • Certified Ethical Hacker (CEH): Unit 1: Pearson
  • The Complete LangChain & LLMs Guide: Packt
  • Strategies for Assisted Living Communities during COVID-19: Johns Hopkins University
  • Aerial Image Segmentation with PyTorch : Coursera
  • Prompt Engineering with GPT: Programming for Custom Content: Coursera
  • Analyzing Time Series and Sequential Data: SAS
  • Credit Analyst Academy: Starweaver
  • Machine Learning Operations (MLOps) with Vertex AI: Manage Features: Google Cloud
  • Software Security for Web Applications: Codio

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