• 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

    Process Improvement and Problem Solving

    Skills you'll gain: Process Optimization, Process Improvement, Brainstorming, Continuous Improvement Process, Business Process Improvement, Root Cause Analysis, Creative Problem-Solving, Innovation, Operational Efficiency, Knowledge Transfer, Collaboration, Technology Strategies, Data Management

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

    Category: Credit offered
    Credit offered
  • L

    L&T EduTech

    Modelling, Analysis and Design of Steel Buildings

    Skills you'll gain: Structural Engineering, Structural Analysis, Building Design, Civil and Architectural Engineering, Architecture and Construction, Computer-Aided Design, Failure Analysis, Engineering Analysis, Engineering Calculations, 3D Modeling, Engineering Design Process, Simulation and Simulation Software, Engineering Software

    ★ 5 (25) · Intermediate · Course · 1 - 4 Weeks

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

    Coursera

    Bookkeeping Foundations and General Ledger Management

    Skills you'll gain: Month End Closing, Balancing (Ledger/Billing), Variance Analysis, Fraud detection, Expense Management, Bookkeeping, Generally Accepted Accounting Principles (GAAP), Record Keeping, Reconciliation, Income Statement, Data Validation, Payroll Systems, Expense Reports, Financial Statements, Payroll Processing, Business Metrics, Financial Analysis, General Ledger, Financial Reporting, Accounts Payable

    ★ 3.6 (7) · Beginner · Specialization · 3 - 6 Months

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

    Politecnico di Milano

    Trustworthy AI for Healthcare Management

    Skills you'll gain: Responsible AI, Data Ethics, Artificial Intelligence, Healthcare Industry Knowledge, Health Systems, Health Care Procedure and Regulation, Ethical Standards And Conduct, AI Integrations, Healthcare Ethics, AI Workflows, Machine Learning, Health Informatics, Verification And Validation, Health Technology, Model Evaluation, Data Governance

    ★ 4.6 (68) · Beginner · Course · 1 - 3 Months

    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • J

    Johns Hopkins University

    Social Network Analysis

    Skills you'll gain: Social Network Analysis, Network Analysis, Graph Theory, R (Software), Social Sciences, Statistical Analysis, R Programming, Statistical Software, Sociology, Network Model, Statistical Modeling, Statistical Hypothesis Testing, Statistical Methods, Dependency Analysis

    ★ 4.2 (11) · Intermediate · Course · 1 - 4 Weeks

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

    Snowflake

    Building AI Agents with Snowflake

    Skills you'll gain: AI Orchestration, Agentic Workflows, AI Workflows, Model Context Protocol, LLM Application, Artificial Intelligence and Machine Learning (AI/ML), Artificial Intelligence, AI Integrations, Tool Calling, Context Management, Agentic systems, Prompt Engineering, Model Evaluation, SQL, Unstructured Data

    Intermediate · Course · 1 - 4 Weeks

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

    Coursera

    Classify Radio Signals with PyTorch

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

    ★ 3.7 (12) · Intermediate · Guided Project · Less Than 2 Hours

    Category: Credit offered
    Credit offered
  • U

    University of California, Davis

    Identifying Security Vulnerabilities in C/C++Programming

    Skills you'll gain: Secure Coding, Application Security, C and C++, Linux Administration, Verification And Validation, Code Review, Vulnerability Management, Linux, Security Controls, Vulnerability Assessments, Unix, User Accounts, Data Validation, File I/O, Cryptography, File Systems, C (Programming Language), System Programming, Identity and Access Management, Encryption

    ★ 4.6 (81) · Intermediate · Course · 1 - 4 Weeks

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

    Tufts University

    Hypothesis Testing with Python and Excel

    Skills you'll gain: Statistical Hypothesis Testing, Statistical Inference, Microsoft Excel, Quantitative Research, Statistical Methods, Probability & Statistics, Statistical Analysis, Sampling (Statistics), Analytical Skills, Spreadsheet Software, Statistics, Business Analytics, Probability Distribution, Python Programming

    ★ 4.2 (24) · Intermediate · Course · 1 - 4 Weeks

    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • U

    University of Colorado Boulder

    Introduction to Deep Learning

    Skills you'll gain: Recurrent Neural Networks (RNNs), Generative AI, Fine-tuning, Vision Transformer (ViT), Machine Learning Methods, Model Optimization, Model Training, Large Language Modeling, Embeddings, Network Architecture

    Intermediate · Course · 1 - 3 Months

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

    Johns Hopkins University

    CUDA at Scale for the Enterprise

    Skills you'll gain: Image Analysis, Event-Driven Programming, Scalability, Dataflow, Digital Signal Processing, Distributed Computing, C++ (Programming Language), System Programming, Program Development, Performance Tuning, Data Structures, Memory Management, Algorithms

    ★ 3.3 (26) · Intermediate · Course · 1 - 3 Months

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

    Board Infinity

    Prepare for SnowPro Core Exam: Architecture & SQL

    Skills you'll gain: Snowflake Schema, Performance Tuning, Data Architecture, User Accounts, Data Warehousing, SQL, Database Architecture and Administration, Database Management, Data Modeling, Data Transformation, Data Import/Export, Cloud Computing Architecture, Data Integration, Cloud-Based Integration, Role-Based Access Control (RBAC), Data Governance, Data Security

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

    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
1…226227228…444

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

  • Process Improvement and Problem Solving: Packt
  • Modelling, Analysis and Design of Steel Buildings: L&T EduTech
  • Bookkeeping Foundations and General Ledger Management: Coursera
  • Trustworthy AI for Healthcare Management: Politecnico di Milano
  • Social Network Analysis: Johns Hopkins University
  • Building AI Agents with Snowflake: Snowflake
  • Classify Radio Signals with PyTorch: Coursera
  • Identifying Security Vulnerabilities in C/C++Programming: University of California, Davis
  • Hypothesis Testing with Python and Excel: Tufts University
  • Introduction to Deep Learning: University of Colorado Boulder

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