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

Results for "quantitative model checking"


  • P

    Packt

    Prompt Engineering in Python, with GPT, and the OpenAI API

    Skills you'll gain: Multimodal Prompts, OpenAI API, ChatGPT, JSON, Large Language Modeling, Python Programming, Text Mining, Data Validation, Unstructured Data

    Intermediate · Course · 1 - 3 Months

  • J

    Johns Hopkins University

    Intrusion Detection

    Skills you'll gain: Intrusion Detection and Prevention, Model Evaluation, Incident Response, Threat Detection, Endpoint Detection and Response, Computer Security Incident Management, Cyber Threat Hunting, Distributed Denial-Of-Service (DDoS) Attacks, Cybersecurity, Anomaly Detection, Cyber Security Strategy, Threat Management, Continuous Monitoring, Cyber Security Policies, Security Management, System Monitoring, AI Security, Virtual Machines, Network Analysis, Data Analysis

    Intermediate · Specialization · 3 - 6 Months

  • C

    Coursera

    Advanced Project Operations & Automation

    Skills you'll gain: Earned Value Management, Workflow Management, Business Process Automation, Change Management, Project Management, Project Controls, Performance Measurement, Automation, Predictive Modeling, AI Enablement, Strategic Communication, Data-Driven Decision-Making, Risk Analysis, Process Improvement and Optimization, Process Optimization, Analytics, Cloud-Based Integration, Generative AI, Systems Integration, Machine Learning

    Advanced · Specialization · 3 - 6 Months

  • I

    Illinois Tech

    Cyber Security Technologies

    Skills you'll gain: Cybersecurity, Cyber Attacks, Network Security, Information Systems Security, Computer Security, Cryptography, Disaster Recovery, Application Security, Cyber Operations, Cyber Security Policies, Cryptographic Protocols, IT Security Architecture, Telecommunications, Network Administration, NIST 800-53, Infrastructure Security, Security Controls, Data Security, Encryption, Governance Risk Management and Compliance

    Build toward a degree

    4.4
    Rating, 4.4 out of 5 stars
    ·
    25 reviews

    Intermediate · Course · 1 - 3 Months

  • 2

    28DIGITAL

    Becoming a Cybersecurity Consultant

    Skills you'll gain: Cybersecurity, Computer Security, Cyber Security Strategy, Cyber Threat Intelligence, Cyber Security Policies, Threat Management, Cyber Risk, Threat Detection, Cyber Security Assessment, Network Security, Application Security, Risk Management, Data Security, Information Privacy, Vulnerability Assessments, Business Economics

    4.8
    Rating, 4.8 out of 5 stars
    ·
    12 reviews

    Intermediate · Course · 1 - 3 Months

  • C

    Coursera

    Interpretable Machine Learning Applications: Part 4

    Skills you'll gain: Applied Machine Learning, Data Preprocessing, Data Analysis, Data Import/Export, Google Cloud Platform, Model Evaluation, Decision Tree Learning, Exploratory Data Analysis, Machine Learning, Classification Algorithms, Random Forest Algorithm, Statistical Visualization, Responsible AI

    4.7
    Rating, 4.7 out of 5 stars
    ·
    19 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • 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

  • G

    Google Cloud

    Datadog: Getting started with the Helm Chart

    Skills you'll gain: Kubernetes, Application Performance Management, YAML, Google Cloud Platform, Configuration Management, Real Time Data, Data Analysis

    2.8
    Rating, 2.8 out of 5 stars
    ·
    9 reviews

    Beginner · Project · Less Than 2 Hours

  • P

    Packt

    The Ultimate BPMN Course

    Skills you'll gain: Business Process Improvement, Process Optimization, Quality Assurance, Digital Transformation

    Intermediate · Course · 3 - 6 Months

  • U

    University of Michigan

    Decoding AI: A Deep Dive into AI Models and Predictions

    Skills you'll gain: Generative AI, Model Evaluation, Data Ethics, Data Analysis, Data-Driven Decision-Making, Data Literacy, AI Enablement, Artificial Intelligence, Big Data, Machine Learning, Social Impact

    4.8
    Rating, 4.8 out of 5 stars
    ·
    26 reviews

    Beginner · Course · 1 - 4 Weeks

  • P

    Packt

    Powering Up Your Power BI Skills

    Skills you'll gain: Data Analysis Expressions (DAX), Customer Insights, Power BI, Dashboard, Data Modeling, Data Transformation, Data Import/Export, Interactive Data Visualization, Business Intelligence, Time Series Analysis and Forecasting, Data Visualization Software, Data Cleansing, Trend Analysis

    Intermediate · Course · 1 - 4 Weeks

  • N

    National Taiwan University

    商管統計資料分析一 (Analytics for Business and Management (I))

    Skills you'll gain: Exploratory Data Analysis, Regression Analysis, R Programming, Statistical Analysis, Statistical Modeling, Business Analytics, Analytics, Data Analysis, Statistics, Statistical Methods, Feature Engineering, Statistical Inference, Data Transformation, Model Evaluation

    Intermediate · Course · 1 - 3 Months

1…233234235…393

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

  • Prompt Engineering in Python, with GPT, and the OpenAI API: Packt
  • Intrusion Detection: Johns Hopkins University
  • Advanced Project Operations & Automation: Coursera
  • Cyber Security Technologies: Illinois Tech
  • Becoming a Cybersecurity Consultant: 28DIGITAL
  • Interpretable Machine Learning Applications: Part 4: Coursera
  • 基于.Net的Web开发技术: Xi'an Jiaotong University
  • Datadog: Getting started with the Helm Chart: Google Cloud
  • The Ultimate BPMN Course: Packt
  • Decoding AI: A Deep Dive into AI Models and Predictions: University of Michigan

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