• 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

    3DS Max Mastery: Character Modeling & Animation

    Skills you'll gain: 3D Modeling, 3D Assets, Animation and Game Design, Computer Graphics, Visualization (Computer Graphics), Autodesk, Animations, Computer Graphic Techniques, Virtual Environment, Adobe Photoshop, Photo Editing, Color Matching, Image Quality, Color Theory

    5
    Rating, 5 out of 5 stars
    ·
    17 reviews

    Beginner · Specialization · 3 - 6 Months

  • E

    EDUCBA

    Python Scripting Masterclass: From Basics to Real Projects

    Skills you'll gain: Debugging, Integrated Development Environments, Data Validation, Web Applications, Scripting, Development Environment, Object Oriented Programming (OOP), Django (Web Framework), Software Testing, Web Development, Customer Data Management, Data Structures, Program Development, Scripting Languages, Business Logic, Financial Data, User Interface (UI), Python Programming, Software Development Methodologies, Programming Principles

    4.9
    Rating, 4.9 out of 5 stars
    ·
    49 reviews

    Intermediate · Specialization · 1 - 3 Months

  • E

    Edureka

    Snowflake Cloud Data Platform: Getting Started

    Skills you'll gain: Cloud Storage, Database Management, Cloud Platforms, Role-Based Access Control (RBAC)

    3.8
    Rating, 3.8 out of 5 stars
    ·
    10 reviews

    Beginner · Course · 1 - 4 Weeks

  • N

    Northeastern University

    Ethics and Governance in the Age of Generative AI

    Skills you'll gain: Responsible AI, Generative AI, AI Workflows, Data Ethics, Model Evaluation, Data Governance, Governance, Artificial Intelligence, Machine Learning, Ethical Standards And Conduct, Organizational Strategy, Social Impact, Benchmarking, Emerging Technologies

    4.5
    Rating, 4.5 out of 5 stars
    ·
    6 reviews

    Beginner · Course · 1 - 3 Months

  • P

    Packt

    Security Architecture and Engineering

    Skills you'll gain: IT Security Architecture, Security Controls, Cryptography, Security Engineering, Application Security, Vulnerability Assessments, Information Systems Security, Encryption, Cybersecurity, Hardening, Infrastructure Security, Computer Security, Threat Modeling, Network Security, Public Key Infrastructure, Authentications, Data Integrity

    4.9
    Rating, 4.9 out of 5 stars
    ·
    7 reviews

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Use Python Regular Expressions to Process File Data

    Skills you'll gain: File I/O, Test Case, Data Validation, Verification And Validation, Scripting, Data Cleansing, Python Programming

    4
    Rating, 4 out of 5 stars
    ·
    24 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • G

    Google Cloud

    Automating the Deployment of Networks with Terraform

    Skills you'll gain: Firewall, Terraform, Virtual Networking, Virtual Machines, Infrastructure as Code (IaC), Network Infrastructure, Google Cloud Platform, IT Automation, Network Security, Verification And Validation, Cloud Deployment, Network Model

    Intermediate · Project · Less Than 2 Hours

  • E

    Emory University

    Mastering Business Essentials: Finance

    Skills you'll gain: Finance, Corporate Finance, Business Valuation, Return On Investment, Financial Planning, Financial Management, Capital Budgeting, Financial Analysis, Cash Flows, Financial Services, Wealth Management, Investment Management, Financial Modeling, Investments, Risk Analysis, Portfolio Management, Accounting

    Beginner · Course · 1 - 3 Months

  • C

    Coursera

    GenAI for Business Intelligence Analysts

    Skills you'll gain: Business Intelligence, Generative AI, Business Analytics, Responsible AI, Business Process Automation, Data-Driven Decision-Making, Data Ethics, Data Storytelling, Exploratory Data Analysis, Data Validation, Project Implementation

    4.5
    Rating, 4.5 out of 5 stars
    ·
    13 reviews

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Deep Learning with PyTorch

    Skills you'll gain: Recurrent Neural Networks (RNNs), Convolutional Neural Networks, Transfer Learning, Model Evaluation, Performance Tuning

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Pneumonia Classification using PyTorch

    Skills you'll gain: PyTorch (Machine Learning Library), Data Preprocessing, Transfer Learning, Convolutional Neural Networks, Medical Imaging, Radiology, Image Analysis, Deep Learning, Python Programming

    4.4
    Rating, 4.4 out of 5 stars
    ·
    11 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • D

    Duke University

    End to End LLMs with Azure

    Skills you'll gain: Retrieval-Augmented Generation, LLM Application, Model Deployment, Prompt Patterns, Microsoft Azure, OpenAI API, Large Language Modeling, OpenAI, Application Deployment, Embeddings, Application Programming Interface (API), Scalability

    2.5
    Rating, 2.5 out of 5 stars
    ·
    6 reviews

    Intermediate · Course · 1 - 4 Weeks

1…231232233…398

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

  • 3DS Max Mastery: Character Modeling & Animation: EDUCBA
  • Python Scripting Masterclass: From Basics to Real Projects: EDUCBA
  • Snowflake Cloud Data Platform: Getting Started: Edureka
  • Ethics and Governance in the Age of Generative AI: Northeastern University
  • Security Architecture and Engineering: Packt
  • Use Python Regular Expressions to Process File Data: Coursera
  • Automating the Deployment of Networks with Terraform: Google Cloud
  • Mastering Business Essentials: Finance: Emory University
  • GenAI for Business Intelligence Analysts: Coursera
  • Deep Learning with PyTorch: Coursera

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