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

Results for "quantitative model checking"


  • P

    Pontificia Universidad Católica del Perú

    Introducción al Desarrollo de Software

    Skills you'll gain: Software Development Life Cycle, Unified Modeling Language, Software Development Methodologies, Software Development, Process Driven Development, Waterfall Methodology

    ★ 4.9 (139) · Beginner · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • C

    Coursera

    GenAI for Learning and Development

    Skills you'll gain: Responsible AI, Microsoft Copilot, Generative AI, AI Enablement, Training and Development, ChatGPT, Education Software and Technology, Training Programs, Developing Training Materials, AI Integrations, Innovation, Ethical Standards And Conduct, Case Studies, Automation

    ★ 4.4 (9) · Intermediate · Course · 1 - 4 Weeks

    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • G

    Google Cloud

    Google Cloud でのバッチデータ パイプラインの構築

    Skills you'll gain: Data Pipelines, Dataflow, Data Warehousing, Extract, Transform, Load, Data Quality, Data Cleansing, Data Validation, Performance Tuning, Google Cloud Platform, Data Processing, Apache Spark, Scalability, Data Transformation, Serverless Computing, System Monitoring

    ★ 4.4 (30) · Intermediate · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • E

    Edureka

    Building AI Agents with OpenAI

    Skills you'll gain: Model Context Protocol, OpenAI API, Retrieval-Augmented Generation, AI Workflows, AI Orchestration, OpenAI, Model Deployment, LLM Application, Agentic Workflows, Generative AI Agents, AI Integrations, Embeddings, Cloud Deployment, Artificial Intelligence and Machine Learning (AI/ML), Application Deployment, Decision Intelligence, Agentic systems, Prompt Engineering, Application Programming Interface (API), Responsible AI

    Intermediate · Specialization · 1 - 3 Months

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • J

    Johns Hopkins University

    Advanced Malware and Network Anomaly Detection

    Skills you'll gain: Anomaly Detection, Malware Protection, Threat Detection, Network Analysis, AI Security, Cybersecurity, Model Evaluation, Network Security, Machine Learning Methods, Classification Algorithms, Microsoft Windows

    ★ 4.7 (23) · Intermediate · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • I

    Infosec

    Leadership

    Skills you'll gain: Cyber Governance, Security Management, IT Management, Cybersecurity, Governance, Leadership Studies, Cyber Security Strategy, Information Assurance, Leadership, Change Management, Governance Risk Management and Compliance, Organizational Change

    ★ 4.4 (90) · Beginner · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • U

    University of Pennsylvania

    How to Use Data

    Skills you'll gain: Data Storytelling, Data Presentation, Feature Engineering, Data Visualization Software, Unsupervised Learning, SQL, Data Analysis, Model Evaluation, Seaborn, Data Visualization, Tableau Software, Predictive Modeling, Exploratory Data Analysis, Predictive Analytics, Analytics, Presentations, Database Management, Advanced Analytics, Data Science, Machine Learning

    Beginner · Specialization · 1 - 3 Months

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • N

    Nikolai Schuler

    Microsoft Power BI Desktop - The Practical Bootcamp

    Skills you'll gain: Data Storytelling, Power BI, Interactive Data Visualization, Data Visualization, Advanced Analytics, Data Modeling, Data Transformation, Dashboard Creation, Data Visualization Software, Data Analysis, Data Cleansing, Performance Tuning

    ★ 4.4 (25) · Beginner · Course · 1 - 3 Months

    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • P

    Pontificia Universidad Católica de Chile

    Manejo de Crisis Epilépticas y Promoción de la Inclusión Social

    Skills you'll gain: Disabilities, Caregiving, Family Support, Diversity Awareness, Mental Health Diseases and Disorders, Diversity Equity and Inclusion Initiatives, Personal Care, Mental Health, Chronic Diseases, Care Management, Patient Education and Support, Preventative Care, Maternal Health, Student Support and Services, Patient Treatment, Pediatrics, Emergency Response, Treatment Planning, Neurology, Patient Safety

    ★ 4.9 (101) · Beginner · Course · 1 - 4 Weeks

    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • E

    EDUCBA

    Advanced Excel Analytics, Automation & Data Analysis

    Skills you'll gain: Excel Macros, Data Validation, Scatter Plots, Plot (Graphics), Pivot Tables And Charts, Microsoft Excel, Data Visualization, Regression Analysis, Excel Formulas, Statistical Visualization, Histogram, Data Analysis, Data Integrity, Statistical Modeling, Descriptive Statistics, Spreadsheet Software, Analytics, Financial Data, Financial Analysis, Automation

    ★ 4.9 (29) · Beginner · Specialization · 1 - 3 Months

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • D

    DeepLearning.AI

    Reinforcement Learning from Human Feedback

    Skills you'll gain: Fine-tuning, Large Language Modeling, Model Training, Model Evaluation, Reinforcement Learning, Model Optimization

    ★ 4.7 (33) · Intermediate · Project · Less Than 2 Hours

    Category: Free
    Free
    Category: Credit offered
    Credit offered
  • L

    LearnQuest

    Advanced AI Techniques for the Supply Chain

    Skills you'll gain: Image Analysis, Model Training, Supervised Learning, Applied Machine Learning, Model Evaluation, Machine Learning Methods, Demand Planning, Artificial Intelligence and Machine Learning (AI/ML), Predictive Modeling, Anomaly Detection, Artificial Intelligence, Convolutional Neural Networks, Model Optimization, Statistical Machine Learning, Supply Chain Management, Machine Learning, Computer Vision, Machine Learning Algorithms, Supply Chain, Natural Language Processing

    ★ 3.2 (15) · Intermediate · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
1…225226227…446

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

  • Introducción al Desarrollo de Software: Pontificia Universidad Católica del Perú
  • GenAI for Learning and Development: Coursera
  • Google Cloud でのバッチデータ パイプラインの構築: Google Cloud
  • Building AI Agents with OpenAI: Edureka
  • Advanced Malware and Network Anomaly Detection: Johns Hopkins University
  • Leadership: Infosec
  • How to Use Data: University of Pennsylvania
  • Microsoft Power BI Desktop - The Practical Bootcamp: Nikolai Schuler
  • Manejo de Crisis Epilépticas y Promoción de la Inclusión Social: Pontificia Universidad Católica de Chile
  • Advanced Excel Analytics, Automation & Data Analysis: 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