• 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

    Codio

    Object-Oriented Java: Inheritance and Encapsulation

    Skills you'll gain: Object Oriented Programming (OOP), Object Oriented Design, Java Programming, Java, Computer Programming, Data Validation, Data Integrity, Computer Science

    4.1
    Rating, 4.1 out of 5 stars
    ·
    21 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Forming, Funding, and Launching a Technology Startup Company

    Skills you'll gain: Entrepreneurial Finance, Business Planning, Financial Statements, Growth Strategies, Business Ethics, Intellectual Property, Financial Modeling, Entrepreneurship, Income Statement, Engineering Management, Legal Risk, Business Strategies, Technology Strategies, Organizational Development, Business Modeling, Cash Flows, Business Development, New Business Development, Risk Analysis, Engineering

    Build toward a degree

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    Google Cloud でのバッチデータ パイプラインの構築

    Skills you'll gain: Data Pipelines, Dataflow, Data Warehousing, Extract, Transform, Load, Data Quality, Data Cleansing, Data Validation, Performance Tuning, Google Cloud Platform, Data Processing, Apache Spark, Scalability, Data Transformation, Serverless Computing, System Monitoring

    4.4
    Rating, 4.4 out of 5 stars
    ·
    30 reviews

    Intermediate · Course · 1 - 4 Weeks

  • A

    Amazon Web Services

    DevOps and AI on AWS: CI/CD for Generative AI Applications

    Skills you'll gain: Infrastructure as Code (IaC), Amazon CloudWatch, CI/CD, AWS CloudFormation, Application Deployment, Continuous Deployment, Cloud Deployment, Amazon Web Services, Continuous Integration, Model Deployment, DevOps, Cloud Management, Generative AI, Cloud Applications, System Monitoring, Automation, Continuous Monitoring

    4.4
    Rating, 4.4 out of 5 stars
    ·
    12 reviews

    Beginner · Course · 1 - 4 Weeks

  • G

    Google Cloud

    Introduction to Vertex Forecasting and Time Series in Practice

    Skills you'll gain: Model Deployment, Model Evaluation, MLOps (Machine Learning Operations), Time Series Analysis and Forecasting, Google Cloud Platform, Data Preprocessing, Forecasting, Data Transformation, Predictive Modeling, Applied Machine Learning, Continuous Monitoring, Deep Learning

    Advanced · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    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

  • Status: Free Trial
    Free Trial
    E

    Edureka

    Mastering AI: Neural Nets, Vision System, Speech Recognition

    Skills you'll gain: Supervised Learning, Computer Vision, Recurrent Neural Networks (RNNs), Machine Learning Methods, Convolutional Neural Networks, Matplotlib, Data Visualization, Probability & Statistics, Deep Learning, Classification Algorithms, Artificial Intelligence, Plotly, Statistical Analysis, Data Visualization Software, Statistical Hypothesis Testing, Machine Learning, Seaborn, Applied Machine Learning, Digital Signal Processing, Statistical Inference

    3.6
    Rating, 3.6 out of 5 stars
    ·
    7 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    N

    NIIT

    Building Interactive Web Pages Using Modern JavaScript

    Skills you'll gain: JSON, Javascript, Ajax, JavaScript Frameworks, Web Development Tools, Software Testing, Frontend Performance, Event-Driven Programming, Hypertext Markup Language (HTML), Web Servers, Data Validation, Data Structures

    3.8
    Rating, 3.8 out of 5 stars
    ·
    12 reviews

    Beginner · Course · 1 - 3 Months

  • C

    Coursera

    Advanced Programme Planning Phases Framework in ClickUp

    Skills you'll gain: Diagram Design, Program Development, Program Management, Project Design, Process Management, Business Process, Timelines, Process Flow Diagrams, Agile Project Management, Project Management Software

    5
    Rating, 5 out of 5 stars
    ·
    12 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • C

    Coursera

    Developing Advanced Programme Delivery Framework in ClickUp

    Skills you'll gain: Agile Methodology, Program Management, Project Design, Solution Delivery, Program Development, Project Management, Management Training And Development, Process Management

    4.6
    Rating, 4.6 out of 5 stars
    ·
    10 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    B

    Board Infinity

    Key Industry 4.0 Technologies in Manufacturing - 1

    Skills you'll gain: Manufacturing Operations, Internet Of Things, Robotics, Manufacturing Processes, Automation, Manufacturing and Production, Production Process, Industrial Engineering, 3D Modeling, Robotic Process Automation, Innovation, Computer-Aided Design, Emerging Technologies, Digital Transformation, Real Time Data, Simulation and Simulation Software

    4.5
    Rating, 4.5 out of 5 stars
    ·
    8 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    T

    The University of Chicago

    Machine Learning: Concepts and Applications

    Skills you'll gain: Keras (Neural Network Library), Unsupervised Learning, Machine Learning Algorithms, Deep Learning, Machine Learning, Applied Machine Learning, Scikit Learn (Machine Learning Library), Classification Algorithms, Supervised Learning, Regression Analysis, Random Forest Algorithm, Dimensionality Reduction, Model Evaluation, Data Preprocessing, Statistical Methods, Tensorflow, Feature Engineering, Pandas (Python Package)

    3.9
    Rating, 3.9 out of 5 stars
    ·
    25 reviews

    Intermediate · Course · 1 - 3 Months

1…236237238…403

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

  • Object-Oriented Java: Inheritance and Encapsulation: Codio
  • Forming, Funding, and Launching a Technology Startup Company: University of Colorado Boulder
  • Google Cloud でのバッチデータ パイプラインの構築: Google Cloud
  • DevOps and AI on AWS: CI/CD for Generative AI Applications: Amazon Web Services
  • Introduction to Vertex Forecasting and Time Series in Practice: Google Cloud
  • Python Scripting Masterclass: From Basics to Real Projects: EDUCBA
  • Mastering AI: Neural Nets, Vision System, Speech Recognition: Edureka
  • Building Interactive Web Pages Using Modern JavaScript: NIIT
  • Advanced Programme Planning Phases Framework in ClickUp: Coursera
  • Developing Advanced Programme Delivery Framework in ClickUp: 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