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

Results for "quantitative model checking"


  • U

    University of Colorado Boulder

    Everyday Excel, Part 1

    Skills you'll gain: Microsoft Excel, Excel Formulas, Data Management, Data Visualization, Spreadsheet Software, Data Validation, Data Cleansing, Data Analysis Expressions (DAX), Data Integrity, Productivity Software, Problem Solving

    4.7
    Rating, 4.7 out of 5 stars
    ·
    3.7K reviews

    Beginner · Course · 1 - 3 Months

  • R

    Rice University

    Mindfulness and Well-being

    Skills you'll gain: Growth Mindedness, Stress Management, Resilience, Mindfulness, Personal Development, Self-Awareness, Compassion, Personal Attributes, Positivity, Empathy, Mental Health, Mental Concentration, Interpersonal Communications, Communication, Emotional Intelligence, Social Impact, Behavioral Health, Cognitive flexibility, Persistence, Overcoming Obstacles

    4.8
    Rating, 4.8 out of 5 stars
    ·
    1.2K reviews

    Beginner · Specialization · 3 - 6 Months

  • E

    EDUCBA

    Analyze Business Data Using Advanced Power BI Techniques

    Skills you'll gain: Data Modeling, Analytical Skills, Analysis, Data Management, Business Reporting, Data Manipulation, Security Awareness

    Beginner · Course · 1 - 4 Weeks

  • U

    University of Pennsylvania

    Introduction to Spreadsheets and Models

    Skills you'll gain: Spreadsheet Software, Financial Modeling, Regression Analysis, Excel Formulas, Business Modeling, Simulation and Simulation Software, Operations Research, Microsoft Excel, Google Sheets, Probability Distribution, Analysis, Forecasting, Predictive Analytics, Risk Analysis, Statistical Methods, Data Analysis Software, Process Optimization, Decision Tree Learning

    4.2
    Rating, 4.2 out of 5 stars
    ·
    3.9K reviews

    Mixed · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Understand and Apply AI Fundamentals with AWS

    Skills you'll gain: Artificial Intelligence, Artificial Intelligence and Machine Learning (AI/ML), Deep Learning, Responsible AI, AWS SageMaker, Machine Learning, Applied Machine Learning, Amazon Web Services, Convolutional Neural Networks, Supervised Learning, Model Deployment, Natural Language Processing, Ethical Standards And Conduct, Unsupervised Learning, Reinforcement Learning

    Beginner · Course · 1 - 3 Months

  • 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

  • U

    University of Minnesota

    Information​ ​Systems

    Skills you'll gain: Enterprise Resource Planning, Business Systems Analysis, Systems Analysis, Requirements Analysis, Cybersecurity, Business Requirements, Business Analysis, Business Systems, Cloud Computing, Cloud Services, Change Management, Business Technologies, Information Technology, Organizational Change, Technology Strategies, Process Flow Diagrams, System Implementation, Governance, Project Management, Critical Thinking

    4.8
    Rating, 4.8 out of 5 stars
    ·
    2.2K reviews

    Beginner · Specialization · 3 - 6 Months

  • C

    Coursera

    Transformers Unleashed: Master the Architecture of Modern AI

    Skills you'll gain: Feature Engineering, MLOps (Machine Learning Operations), Systems Architecture, Model Evaluation, Model Deployment, Extract, Transform, Load, Systems Design, Data Pipelines, Vision Transformer (ViT), System Design and Implementation, Software Documentation, Artificial Intelligence and Machine Learning (AI/ML), Tensorflow, Apache Spark, Natural Language Processing, Pandas (Python Package), Cloud Deployment, Machine Learning, Computer Vision, Computational Thinking

    Intermediate · Professional Certificate · 3 - 6 Months

  • I

    IBM

    IBM Machine Learning

    Skills you'll gain: Exploratory Data Analysis, Autoencoders, Feature Engineering, Unsupervised Learning, Supervised Learning, Classification Algorithms, Regression Analysis, Dimensionality Reduction, Time Series Analysis and Forecasting, Recurrent Neural Networks (RNNs), Convolutional Neural Networks, Reinforcement Learning, Generative Adversarial Networks (GANs), Deep Learning, Data Analysis, Statistical Methods, Data Preprocessing, Machine Learning, Data Science, Python Programming

    Build toward a degree

    4.6
    Rating, 4.6 out of 5 stars
    ·
    3.6K reviews

    Intermediate · Professional Certificate · 3 - 6 Months

  • U

    University of Pennsylvania

    Operations Analytics

    Skills you'll gain: Descriptive Analytics, Business Analytics, Operations Research, Analytics, Predictive Analytics, Operational Analysis, Business Operations, Business Intelligence, Data Analysis, Operations Management, Data-Driven Decision-Making, Demand Planning, Forecasting, Simulation and Simulation Software, Business Modeling, Inventory and Warehousing, Process Optimization, Risk Analysis, Supply Chain Planning, Decision Making

    4.7
    Rating, 4.7 out of 5 stars
    ·
    5.1K reviews

    Mixed · Course · 1 - 4 Weeks

  • P

    Packt

    iOS 16 SwiftUI 3 Loan Tracker MVVM, CoreData, and CloudKit

    Skills you'll gain: Core Data (Software), iOS Development, Data Store, Maintainability, User Interface and User Experience (UI/UX) Design, Software Design, Cloud Storage, Data Validation

    Intermediate · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Analyze, Design & Implement Java CRUD with TestNG

    Skills you'll gain: Object Oriented Design, Object Oriented Programming (OOP), Unit Testing, Java, Test Automation, Software Development, Development Testing, Application Design, Software Testing, Application Development, System Design and Implementation, Data Validation, User Interface (UI), Debugging, Data Integrity, Business Logic

    Beginner · Course · 1 - 4 Weeks

1…808182…399

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

  • Everyday Excel, Part 1: University of Colorado Boulder
  • Mindfulness and Well-being: Rice University
  • Analyze Business Data Using Advanced Power BI Techniques: EDUCBA
  • Introduction to Spreadsheets and Models: University of Pennsylvania
  • Understand and Apply AI Fundamentals with AWS: EDUCBA
  • Analyze and Manage Hallucinations in Generative AI: EDUCBA
  • Information​ ​Systems: University of Minnesota
  • Transformers Unleashed: Master the Architecture of Modern AI: Coursera
  • IBM Machine Learning: IBM
  • Operations Analytics: University of Pennsylvania

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