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

Results for "quantitative model checking"


  • E

    EDUCBA

    Master and Apply Redis for Scalable Systems

    Skills you'll gain: Redis, Data Persistence, NoSQL, Data Store, Operational Databases, Performance Tuning, Transaction Processing, Key Management, Server Administration, Data Structures, Data Storage, Real Time Data, Data Management, Event-Driven Programming, Scalability, Data Manipulation, Big Data, Query Languages, Data Modeling, Scripting

    Beginner · Specialization · 1 - 3 Months

  • E

    EDUCBA

    Apply Advanced SQL Server Analytics and Programming

    Skills you'll gain: Data-Driven Decision-Making, Database Design, Data Processing, Scripting Languages, Scripting, Data Structures

    Intermediate · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Design and Render a 3D Urban Duplex in SketchUp

    Skills you'll gain: SketchUp (3D Modeling Software), 3D Modeling, Architectural Design, Visualization (Computer Graphics), Computer Graphics, Computer Graphic Techniques, Layout Design

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    Building Reliable LLM Systems

    Skills you'll gain: LLM Application, Model Evaluation, Large Language Modeling, Retrieval-Augmented Generation, Vector Databases, MLOps (Machine Learning Operations), Performance Tuning, Debugging, Performance Testing, Query Languages, SQL, Statistical Hypothesis Testing, Statistical Analysis, Artificial Intelligence and Machine Learning (AI/ML), Data-Driven Decision-Making, Python Programming, Pandas (Python Package)

    Intermediate · Course · 1 - 3 Months

  • C

    Coursera

    Production-Ready Multimodal ML Engineering

    Skills you'll gain: MLOps (Machine Learning Operations), Data Validation, Model Deployment, Test Driven Development (TDD), Apache Airflow, Data Pipelines, Containerization, Extract, Transform, Load, Kubernetes, CI/CD, Real Time Data, Artificial Intelligence and Machine Learning (AI/ML), Data Quality, Scalability, Machine Learning Software, Artificial Intelligence, Artificial Neural Networks, Machine Learning Algorithms, Natural Language Processing, Algorithms

    Intermediate · Course · 3 - 6 Months

  • U

    University of Alberta

    Design Patterns

    Skills you'll gain: Model View Controller, Software Design Patterns, Software Design, Unified Modeling Language, Object Oriented Design, Code Review, Software Architecture, Programming Principles, Maintainability, Java, Application Design

    4.7
    Rating, 4.7 out of 5 stars
    ·
    1.4K reviews

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Debug Neural Networks: Analyze Training Dynamics

    Skills you'll gain: Applied Machine Learning, Analysis, Performance Analysis

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Optimize ML Models: Hyperparameter Tuning

    Skills you'll gain: Model Evaluation, Performance Tuning, MLOps (Machine Learning Operations), Applied Machine Learning, Machine Learning Algorithms

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Build & Optimize TensorFlow ML Workflows

    Skills you'll gain: Tensorflow, Keras (Neural Network Library), MLOps (Machine Learning Operations), Data Pipelines, Performance Tuning

    Intermediate · Course · 1 - 4 Weeks

  • U

    University of California San Diego

    Big Data Modeling and Management Systems

    Skills you'll gain: Data Modeling, Big Data, Data Management, Database Management Systems, Real Time Data, NoSQL, Database Design, Data Processing, Apache Hadoop, Data Structures, Scalability, Virtual Environment

    4.4
    Rating, 4.4 out of 5 stars
    ·
    3K reviews

    Mixed · Course · 1 - 3 Months

  • A

    AI CERTs

    Learn AI Agents: Design, Build & Deploy

    Skills you'll gain: Responsible AI, Agentic Workflows, AI Workflows, AI Orchestration, Generative AI Agents, AI Enablement, Business Process Automation, Artificial Intelligence and Machine Learning (AI/ML), Workflow Management, LLM Application, Model Deployment, Artificial Intelligence, LangChain, Vector Databases, Agentic systems, Tool Calling, AI Security, AI Personalization, AI Product Strategy, Generative AI

    Intermediate · Course · 1 - 3 Months

  • M

    Microsoft

    Business Analysis Fundamentals

    Skills you'll gain: Stakeholder Management, Business Analysis, Project Management, Stakeholder Analysis, Analysis, Requirements Elicitation, Risk Management, Microsoft Power Platform, Business Process Improvement, Problem Management

    4.7
    Rating, 4.7 out of 5 stars
    ·
    1.1K reviews

    Beginner · Course · 1 - 4 Weeks

1…828384…399

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

  • Master and Apply Redis for Scalable Systems: EDUCBA
  • Apply Advanced SQL Server Analytics and Programming: EDUCBA
  • Design and Render a 3D Urban Duplex in SketchUp: EDUCBA
  • Building Reliable LLM Systems: Coursera
  • Production-Ready Multimodal ML Engineering: Coursera
  • Design Patterns: University of Alberta
  • Debug Neural Networks: Analyze Training Dynamics: Coursera
  • Optimize ML Models: Hyperparameter Tuning : Coursera
  • Build & Optimize TensorFlow ML Workflows: Coursera
  • Big Data Modeling and Management Systems: University of California San Diego

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