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

Results for "quantitative model checking"


  • Status: Preview
    Preview
    C

    Coursera

    GenAI for Learning and Development

    Skills you'll gain: Responsible AI, Data Ethics, Microsoft Copilot, Generative AI, AI Enablement, Training and Development, ChatGPT, Productivity Software, Prompt Engineering, Developing Training Materials, Learning Management Systems, Innovation, Case Studies, Automation

    4.4
    Rating, 4.4 out of 5 stars
    ·
    9 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    S

    Splunk Inc.

    Splunk Search Expert 103

    Skills you'll gain: Splunk, Correlation Analysis, Performance Tuning, Data Manipulation, Data Analysis, Data Modeling, Big Data, Transaction Processing, Data Science, Business Analytics, Data Visualization

    4.7
    Rating, 4.7 out of 5 stars
    ·
    51 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    AI Infrastructure: Introduction to AI Hypercomputer

    Skills you'll gain: Model Deployment, Google Cloud Platform, Cloud Deployment, Cloud Computing Architecture, Performance Tuning, Infrastructure Architecture, Artificial Intelligence, Hardware Architecture

    4.2
    Rating, 4.2 out of 5 stars
    ·
    18 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    P

    Pearson

    CCNA 200-301 Version 1.1: Unit 1

    Skills you'll gain: Network Architecture, General Networking, Network Infrastructure, Computer Networking, OSI Models, Network Switches, Local Area Networks, Networking Hardware, Network Protocols, Network Model

    3.4
    Rating, 3.4 out of 5 stars
    ·
    7 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Washington

    Data Science at Scale - Capstone Project

    Skills you'll gain: Feature Engineering, Model Evaluation, Data Analysis, Predictive Modeling, Data Wrangling, Statistical Modeling, Statistics, Data Science, Data Preprocessing, Predictive Analytics, Data Integration, Data Collection, Applied Machine Learning, R Programming, Research, Data Validation, Python Programming

    3.8
    Rating, 3.8 out of 5 stars
    ·
    26 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    L

    LearnQuest

    Enterprise Java Beans (EJBs) and the Jakarta Persistence API (JPA)

    Skills you'll gain: Java Platform Enterprise Edition (J2EE), Object-Relational Mapping, Java, Application Servers, Middleware, Application Deployment, Data Persistence, Event-Driven Programming, Enterprise Application Management, Server Side, Context Management, Business Logic

    4.8
    Rating, 4.8 out of 5 stars
    ·
    56 reviews

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Classify Radio Signals with PyTorch

    Skills you'll gain: PyTorch (Machine Learning Library), Transfer Learning, Convolutional Neural Networks, Digital Signal Processing, Image Analysis, Classification Algorithms, Model Evaluation, Deep Learning, Computer Vision, Telecommunications

    3.7
    Rating, 3.7 out of 5 stars
    ·
    12 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    W

    Whizlabs

    AWS: Threat Detection, Logging and Monitoring

    Skills you'll gain: AWS Identity and Access Management (IAM), Amazon CloudWatch, Threat Detection, Threat Management, Amazon Web Services, Incident Response, Continuous Monitoring, Cloud Security, Identity and Access Management, Amazon Elastic Compute Cloud, Network Security, Event Monitoring

    4.7
    Rating, 4.7 out of 5 stars
    ·
    15 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    W

    Whizlabs

    Data Governance with Databricks

    Skills you'll gain: Data Governance, Extract, Transform, Load, Metadata Management, Role-Based Access Control (RBAC), Data Cleansing, Databricks, Data Management, Data Pipelines, Data Lakes, Amazon Web Services, Amazon Redshift, Data Security, Personally Identifiable Information, Data Warehousing, Data Quality, General Data Protection Regulation (GDPR), Data Integration, Data Validation, Fraud detection

    3.6
    Rating, 3.6 out of 5 stars
    ·
    11 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of California, Davis

    Computational Social Science Capstone Project

    Skills you'll gain: Social Network Analysis, Data Wrangling, Natural Language Processing, Web Scraping, Databases, Data Processing, Social Sciences, Trend Analysis, Data Collection, Unstructured Data, Simulations, Big Data, Machine Learning, Computational Thinking, Artificial Intelligence and Machine Learning (AI/ML)

    4.7
    Rating, 4.7 out of 5 stars
    ·
    41 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    E

    EDHEC Business School

    Economics and Policies of Climate Change

    Skills you'll gain: Environmental Policy, Economics, Climate Change Mitigation, Cost Benefit Analysis, Policy Analysis, Environmental Regulations, Market Analysis, Financial Market, Tax, Financial Trading, Mathematical Modeling

    4.6
    Rating, 4.6 out of 5 stars
    ·
    71 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    I

    IBM

    Capstone Project: Applying Business Analysis Skills

    Skills you'll gain: Risk Mitigation, Business Process Modeling, Stakeholder Analysis, Risk Analysis, Project Scoping, Stakeholder Management, Process Flow Diagrams, Risk Management, Work Breakdown Structure, Stakeholder Engagement, Scope Management, Business Requirements, Presentations, Requirements Elicitation, Business Analysis, Looker (Software), Requirements Analysis, Project Management, Process Optimization, Data Analysis Software

    3.8
    Rating, 3.8 out of 5 stars
    ·
    26 reviews

    Advanced · Course · 1 - 3 Months

1…218219220…408

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

  • GenAI for Learning and Development: Coursera
  • Splunk Search Expert 103: Splunk Inc.
  • AI Infrastructure: Introduction to AI Hypercomputer: Google Cloud
  • CCNA 200-301 Version 1.1: Unit 1: Pearson
  • Data Science at Scale - Capstone Project: University of Washington
  • Enterprise Java Beans (EJBs) and the Jakarta Persistence API (JPA): LearnQuest
  • Classify Radio Signals with PyTorch: Coursera
  • AWS: Threat Detection, Logging and Monitoring: Whizlabs
  • Data Governance with Databricks: Whizlabs
  • Computational Social Science Capstone Project: University of California, Davis

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