• 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
    L

    LearnKartS

    Salesforce Admin & App Builder Certification Prep

    Skills you'll gain: Salesforce, Salesforce Development, Application Deployment, Dashboard, Cloud Deployment, Customer Relationship Management, Change Control, Analytics, Continuous Deployment, Data Import/Export, Authentications, Customer Relationship Management (CRM) Software, Data Migration, Configuration Management, Data Presentation, Data Access, Responsive Web Design, System Configuration, Data Management, Business Logic

    4.2
    Rating, 4.2 out of 5 stars
    ·
    9 reviews

    Beginner · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    T

    Tecnológico de Monterrey

    Entrepreneurial Mindset

    Skills you'll gain: Innovation, Business Modeling, Entrepreneurship, Lean Methodologies, Corporate Strategy, New Product Development, Business Strategy, New Business Development, Value Propositions, Customer Insights

    4.4
    Rating, 4.4 out of 5 stars
    ·
    50 reviews

    Advanced · Course · 1 - 4 Weeks

  • 2

    28DIGITAL

    Basic Recommender Systems

    Skills you'll gain: Model Evaluation, Data Ethics, Systems Design, System Requirements, Responsible AI, Machine Learning Algorithms, Innovation, Algorithms, Data Preprocessing, Predictive Modeling, Data-Driven Decision-Making, Applied Machine Learning

    4.3
    Rating, 4.3 out of 5 stars
    ·
    43 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    Serverless Data Processing with Dataflow: Foundations

    Skills you'll gain: Dataflow, Serverless Computing, Identity and Access Management, Data Infrastructure, Data Pipelines, Cloud Security, Cloud Computing, Data Processing, Data Storage Technologies, Containerization, Interoperability

    4.1
    Rating, 4.1 out of 5 stars
    ·
    94 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    Data Engineer, Big Data and ML on Google Cloud em Português

    Skills you'll gain: Model Deployment, Data Pipelines, Real Time Data, Google Cloud Platform, Data Lakes, Dataflow, Data Preprocessing, Data Warehousing, Data Import/Export, Big Data, Tensorflow, Feature Engineering, Data Governance, Dashboard, Extract, Transform, Load, Apache Spark, Data Architecture, Metadata Management, Data Management, Unstructured Data

    4.7
    Rating, 4.7 out of 5 stars
    ·
    125 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    Hands-on Foundations for Data Science and Machine Learning with Google Cloud Labs

    Skills you'll gain: Data Warehousing, Google Cloud Platform, Big Data, Model Evaluation, Apache Spark, Database Management, Data Integration, SQL, Data Pipelines, Metadata Management, Data Management, Real Time Data, Tensorflow, Data Science, Command-Line Interface, Applied Machine Learning, Cloud-Based Integration, Apache Hadoop, Query Languages, Machine Learning

    4.3
    Rating, 4.3 out of 5 stars
    ·
    125 reviews

    Intermediate · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Security and Ethical Hacking

    Skills you'll gain: AI Security, Penetration Testing, Network Security, Exploitation techniques, Open Web Application Security Project (OWASP), Cyber Security Assessment, Unix, Computer Security, Network Monitoring, Application Security, Cybersecurity, Artificial Intelligence and Machine Learning (AI/ML), Cryptographic Protocols, Network Protocols, Cryptography, Security Awareness, Generative AI Agents, Server Side, Web Applications, Machine Learning Algorithms

    4.6
    Rating, 4.6 out of 5 stars
    ·
    18 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    A

    American Psychological Association

    Positive Psychology: The Science of Happiness

    Skills you'll gain: Public Policies, Compassion, Psychology, Mental Health, Resilience, Behavioral Health, Cultural Diversity, Personal Development, Empathy, Mindfulness, Relationship Building, Research

    4.2
    Rating, 4.2 out of 5 stars
    ·
    13 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of California, Davis

    Animation with JavaScript and jQuery

    Skills you'll gain: jQuery, Javascript and jQuery, UI Components, Scripting, Cascading Style Sheets (CSS), HTML and CSS, Javascript, Hypertext Markup Language (HTML), Web Development Tools, Animations, User Interface (UI) Design

    4.8
    Rating, 4.8 out of 5 stars
    ·
    127 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    Google Sheets - Advanced Topics en español

    Skills you'll gain: Google Sheets, Spreadsheet Software, Excel Formulas, Excel Macros, Data Visualization, Google Docs, Productivity Software, Data Analysis Software, Data Validation, Data Import/Export, Business Analysis

    4.7
    Rating, 4.7 out of 5 stars
    ·
    64 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    S

    Starweaver

    Advanced Financial Analysis and Credit Risk Modeling

    Skills you'll gain: Credit Risk, Financial Analysis, Financial Statement Analysis, Financial Modeling, Cash Flows, Lending and Underwriting, Portfolio Risk, Financial Management, Investments, Risk Analysis, Corporate Finance, Market Data, Return On Investment, Business Valuation, Data Modeling, Case Studies, Excel Formulas, Business Analytics

    Intermediate · Course · 1 - 3 Months

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

    Edureka

    Building AI Agents with OpenAI

    Skills you'll gain: Model Context Protocol, OpenAI API, Retrieval-Augmented Generation, AI Workflows, AI Orchestration, OpenAI, LLM Application, Generative AI Agents, Embeddings, Cloud Deployment, Artificial Intelligence and Machine Learning (AI/ML), Application Deployment, Tool Calling, ChatGPT, Artificial Intelligence, Vector Databases, Agentic systems, Prompt Engineering, Application Programming Interface (API), Responsible AI

    Intermediate · Specialization · 1 - 3 Months

1…213214215…408

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

  • Salesforce Admin & App Builder Certification Prep: LearnKartS
  • Entrepreneurial Mindset: Tecnológico de Monterrey
  • Basic Recommender Systems: 28DIGITAL
  • Serverless Data Processing with Dataflow: Foundations: Google Cloud
  • Data Engineer, Big Data and ML on Google Cloud em Português: Google Cloud
  • Hands-on Foundations for Data Science and Machine Learning with Google Cloud Labs: Google Cloud
  • Security and Ethical Hacking: University of Colorado Boulder
  • Positive Psychology: The Science of Happiness: American Psychological Association
  • Animation with JavaScript and jQuery: University of California, Davis
  • Google Sheets - Advanced Topics en español: Google Cloud

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