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

Results for "quantitative model checking"


  • Status: Free Trial
    Free Trial
    C

    Coursera

    ChatGPT API for Developers: Integrate AI Effortlessly

    Skills you'll gain: Prompt Engineering, OpenAI API, ChatGPT, Token Optimization, Application Programming Interface (API), API Testing, AI Integrations, Authentications, Context Engineering, Large Language Modeling, Key Management, Model Optimization, Performance Tuning

    4.1
    Rating, 4.1 out of 5 stars
    ·
    8 reviews

    Intermediate · Course · 1 - 3 Months

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

    EDUCBA

    Design & Assemble a Multi-Utility Tool in SolidWorks

    Skills you'll gain: SolidWorks (CAD), Computer-Aided Design, Engineering Design Process, 3D Modeling, Mechanical Design, Functional Design, Assembly Drawing, Model Evaluation, Design Elements And Principles

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    S

    SkillUp

    Advanced Data Visualization with Tableau

    Skills you'll gain: Tableau Software, Data Visualization, Interactive Data Visualization, Data Visualization Software, Data Storytelling, Data Presentation, Dashboard Creation, Dashboard, Data Sharing, Data Analysis, Data Integration, Advanced Analytics, Model Optimization, Data Modeling

    4.6
    Rating, 4.6 out of 5 stars
    ·
    21 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    M

    Microsoft

    Data Modeling and Architecture

    Skills you'll gain: Data Analysis Expressions (DAX), Data Ethics, Data Modeling, Data Governance, Data Architecture, Database Design, Power BI, Data Management, General Data Protection Regulation (GDPR), Star Schema, Personally Identifiable Information, Information Privacy, Data Synthesis, Data Visualization Software, Data Security, Data Integrity, Snowflake Schema, Relational Databases, Data Quality, Extract, Transform, Load

    4.8
    Rating, 4.8 out of 5 stars
    ·
    21 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    M

    Macquarie University

    Cyber Security: DevOps

    Skills you'll gain: DevSecOps, Application Security, Cryptography, Secure Coding, IT Security Architecture, Security Testing, Cyber Threat Intelligence, Security Engineering, Cyber Risk, DevOps, Encryption, Network Security, Cybersecurity, Cloud Security, CI/CD, Software Development, Security Awareness, Security Controls, Artificial Intelligence and Machine Learning (AI/ML), Software Architecture

    4.7
    Rating, 4.7 out of 5 stars
    ·
    24 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free
    Free
    D

    DeepLearning.AI

    Knowledge Graphs for RAG

    Skills you'll gain: Retrieval-Augmented Generation, LLM Application, LangChain, Large Language Modeling, Embeddings, Prompt Engineering, Query Languages, Vector Databases, Data Storage, Unstructured Data, Graph Theory

    4.8
    Rating, 4.8 out of 5 stars
    ·
    98 reviews

    Intermediate · Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    C

    Coursera

    Advanced Machine Learning Techniques

    Skills you'll gain: Model Optimization, Artificial Intelligence and Machine Learning (AI/ML), Machine Learning Methods, Machine Learning Software, Model Training, Data Preprocessing, Data Processing, Hugging Face, Classification Algorithms

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    C

    Codio

    Getting Started with Generative AI API

    Skills you'll gain: OpenAI API, Fine-tuning, Prompt Engineering, OpenAI, Large Language Modeling, ChatGPT, Multimodal Prompts, Application Performance Management, Generative Model Architectures, Generative AI, LLM Application, Image Analysis, Photo Editing, Token Optimization, Application Programming Interface (API), Animations, Tool Calling, File Management, Python Programming, Computer Science

    3.9
    Rating, 3.9 out of 5 stars
    ·
    36 reviews

    Beginner · Specialization · 1 - 3 Months

  • Status: Preview
    Preview
    E

    Edureka

    Gen AI for Fraud Detection Analytics

    Skills you'll gain: Generative AI, Generative Adversarial Networks (GANs), Recurrent Neural Networks (RNNs), Email Security

    4.2
    Rating, 4.2 out of 5 stars
    ·
    38 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Colorado System

    SRS Documents: Requirements and Diagrammatic Notations

    Skills you'll gain: Software Design Documents, Data Flow Diagrams (DFDs), User Requirements Documents, Functional Requirement, Software Documentation, Diagram Design, Unified Modeling Language, Functional Specification, Requirements Analysis, System Requirements, Technical Documentation, Technical Writing, Data Modeling, Systems Analysis, Security Requirements Analysis, Process Modeling, Computational Logic

    4.3
    Rating, 4.3 out of 5 stars
    ·
    59 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    E

    EDUCBA

    3D Design in Blender: Learn, Create & Build

    Skills you'll gain: 3D Modeling, 3D Assets, Visualization (Computer Graphics), Design Software, Editing, User Interface (UI), Software Installation

    4.9
    Rating, 4.9 out of 5 stars
    ·
    18 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    P

    Packt

    Backend Development and API Creation

    Skills you'll gain: Back-End Web Development, Server Side, Full-Stack Web Development, Middleware, Authentications, API Design, Application Programming Interface (API), User Accounts, Databases, JavaScript Frameworks, GitHub, Development Environment, Data Validation

    4.6
    Rating, 4.6 out of 5 stars
    ·
    38 reviews

    Intermediate · Course · 1 - 4 Weeks

1…225226227…444

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

  • ChatGPT API for Developers: Integrate AI Effortlessly: Coursera
  • Design & Assemble a Multi-Utility Tool in SolidWorks: EDUCBA
  • Advanced Data Visualization with Tableau: SkillUp
  • Data Modeling and Architecture: Microsoft
  • Cyber Security: DevOps: Macquarie University
  • Knowledge Graphs for RAG: DeepLearning.AI
  • Advanced Machine Learning Techniques: Coursera
  • Getting Started with Generative AI API: Codio
  • Gen AI for Fraud Detection Analytics: Edureka
  • SRS Documents: Requirements and Diagrammatic Notations: University of Colorado System

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