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

Results for "quantitative model checking"


  • Status: New
    New
    Status: Free Trial
    Free Trial
    L

    Logical Operations

    Web Dev: Optimization, Server Processing, and JavaScript

    Skills you'll gain: Responsive Web Design, HTML and CSS, Web Development, Javascript, Web Design, JavaScript Frameworks, Web Development Tools, Web Servers, Web Design and Development, Browser Compatibility, Web Content, Web Analytics and SEO, Server Side, Hypertext Markup Language (HTML), Web Applications, Web Frameworks, Front-End Web Development, Event-Driven Programming, Web Content Accessibility Guidelines, Software Development

    Mixed · Course · 1 - 3 Months

  • Status: New
    New
    Status: Preview
    Preview
    C

    Coursera

    Technical Publication - Diagramming Standards

    Skills you'll gain: Diagram Design, Technical Documentation, Technical Drawing, Software Design Documents, Unified Modeling Language, Technical Communication, Data Flow Diagrams (DFDs), Document Management, Style Guides, Image Quality, File Management, Software Versioning, Graphic and Visual Design, Web Content Accessibility Guidelines, Version Control, Typography

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    P

    Packt

    Foundations of Modular Environment Design in Blender

    Skills you'll gain: 3D Modeling, Game Design, Video Game Development, Augmented and Virtual Reality (AR/VR), File Management, Functional Design, Design Elements And Principles

    Intermediate · Course · 3 - 6 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    E

    EDUCBA

    Analyze and Manage Hallucinations in Generative AI

    Skills you'll gain: Generative AI, LLM Application, AI Enablement, Prompt Engineering, Responsible AI, Model Evaluation, Data Quality, Verification And Validation, Natural Language Processing

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    P

    Packt

    Advanced SwiftUI, MVVM, and App Design Patterns

    Skills you'll gain: Apple iOS, Swift Programming, Test Driven Development (TDD), Apple Xcode, Mobile Development, Model View Controller, Application Development, User Interface (UI), User Interface (UI) Design, Software Design Patterns, Software Architecture, Animations

    Advanced · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Harden AI: Patch and Recover Incidents Fast

    Skills you'll gain: Incident Response, AI Security, Incident Management, Model Deployment, Site Reliability Engineering, Patch Management, MLOps (Machine Learning Operations), System Monitoring, Problem Management, Computer Security Incident Management, Responsible AI, Continuous Monitoring, Dependency Analysis, Disaster Recovery, Anomaly Detection, Application Deployment, Automation, Dashboard

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    G

    Google Cloud

    Encoder-Decoder Architecture - Español

    Skills you'll gain: Model Deployment, Tensorflow, Recurrent Neural Networks (RNNs), Keras (Neural Network Library), Natural Language Processing, Applied Machine Learning, Text Mining

    Advanced · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Detect AI Anomalies: Real-Time Outliers

    Skills you'll gain: Anomaly Detection, MLOps (Machine Learning Operations), Event Monitoring, Continuous Monitoring, System Monitoring, Unsupervised Learning, Threat Detection, Statistical Analysis, Exploratory Data Analysis, Trend Analysis, Real Time Data, Statistical Methods, Performance Tuning, Time Series Analysis and Forecasting

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    CertNexus

    Certified Cyber Secure Coder (Exam CSC-210)

    Skills you'll gain: Application Security, Secure Coding, Security Testing, Open Web Application Security Project (OWASP), Vulnerability, Software Testing, Computer Security, Vulnerability Management, Data Security, Security Strategy, Unit Testing, Human Factors (Security), Application Design, Information Privacy, Computer Programming, Python Programming, Node.JS, Javascript, Design Strategies, JavaScript Frameworks

    Intermediate · Specialization · 1 - 3 Months

  • Status: New
    New
    Status: Preview
    Preview
    E

    EDUCBA

    JSP: Build Dynamic Web Apps with Case Study

    Skills you'll gain: Model View Controller, Software Design Patterns, Java Platform Enterprise Edition (J2EE), Java, Web Applications, Back-End Web Development, Integrated Development Environments, Employee Performance Management, Registration, Databases, Data Management

    Mixed · Course · 1 - 4 Weeks

  • G

    Google Cloud

    Migrating to AlloyDB from PostgreSQL Using Database Migration Service

    Skills you'll gain: Data Migration, Google Cloud Platform, PostgreSQL, Operational Databases, Data Validation, Data Integrity, Virtual Private Networks (VPN)

    Beginner · Project · Less Than 2 Hours

  • Status: New
    New
    Status: Preview
    Preview
    E

    EDUCBA

    Analyze Financial Data with Python for Decision Making

    Skills you'll gain: Trend Analysis, Data-Driven Decision-Making, Statistical Analysis, Financial Modeling, Python Programming

    Beginner · Course · 1 - 4 Weeks

1…387388389…406

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

  • Web Dev: Optimization, Server Processing, and JavaScript: Logical Operations
  • Technical Publication - Diagramming Standards: Coursera
  • Foundations of Modular Environment Design in Blender: Packt
  • Analyze and Manage Hallucinations in Generative AI: EDUCBA
  • Advanced SwiftUI, MVVM, and App Design Patterns: Packt
  • Harden AI: Patch and Recover Incidents Fast: Coursera
  • Encoder-Decoder Architecture - Español: Google Cloud
  • Detect AI Anomalies: Real-Time Outliers: Coursera
  • Certified Cyber Secure Coder (Exam CSC-210): CertNexus
  • JSP: Build Dynamic Web Apps with Case Study: 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