• 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

    AI for Business Ethics & Financial Strategy Mastery

    Skills you'll gain: Data Ethics, Financial Modeling, Responsible AI, AI Security, Financial Forecasting, Financial Statements, Depreciation, Business Ethics, Balance Sheet, Capital Budgeting, Artificial Intelligence, Strategic Decision-Making, Data Management, Information Privacy, Financial Analysis, Excel Formulas, Ethical Standards And Conduct, Finance, Business Strategy, Business

    Beginner · Specialization · 3 - 6 Months

  • P

    Pearson

    CISA Certified Information Systems Auditor: Unit 1

    Skills you'll gain: Audit Planning, Auditing, Information Assurance, Compliance Auditing, Security Controls, Risk Management Framework, Data Validation

    4.6
    Rating, 4.6 out of 5 stars
    ·
    10 reviews

    Intermediate · Course · 1 - 4 Weeks

  • G

    Google

    Google Data Analytics (DE)

    Skills you'll gain: Data Cleansing, Stakeholder Management, Rmarkdown, Data Presentation, Data Storytelling, Data Visualization, Data Validation, Data Literacy, Ggplot2, Data Ethics, Data-Driven Decision-Making, Interactive Data Visualization, Analytical Skills, Data Integrity, Dashboard, Data Synthesis, Data Visualization Software, Tableau Software, Case Studies, Data Analysis

    4.5
    Rating, 4.5 out of 5 stars
    ·
    36 reviews

    Beginner · Professional Certificate · 3 - 6 Months

  • E

    EDUCBA

    Java Servlets Case Study - Online Admission Process

    Skills you'll gain: PostgreSQL, Relational Databases, Java, Java Platform Enterprise Edition (J2EE), Systems Development, Application Servers, Database Design, Databases, Application Design, Back-End Web Development, Web Applications, Business Logic, Secure Coding, Data Validation, Payment Systems, Document Management, Authentications, Verification And Validation, File Management

    4.5
    Rating, 4.5 out of 5 stars
    ·
    21 reviews

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Data Ingestion, Exploration & Visualization in Qlik Sense

    Skills you'll gain: Data Visualization Software, Data Modeling, Dashboard, Interactive Data Visualization, Data Presentation, Data Processing, Data Storytelling, Data Transformation, Data Preprocessing, Data Integration, Data Cleansing, Data Import/Export, Data Analysis, Data Quality, Key Performance Indicators (KPIs)

    4.9
    Rating, 4.9 out of 5 stars
    ·
    13 reviews

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Transforming Exploratory Data Analysis with AI

    Skills you'll gain: Responsible AI, Generative AI, Artificial Intelligence, Exploratory Data Analysis, Data Cleansing, Data-Driven Decision-Making, Real Time Data, Data Analysis, AI Workflows, Data Processing, Pandas (Python Package), Automation, Data Validation

    Intermediate · Course · 1 - 4 Weeks

  • D

    Duke University

    Interpretable Machine Learning

    Skills you'll gain: Responsible AI, Decision Tree Learning, Data Ethics, Regression Analysis, Artificial Intelligence, Machine Learning, Statistical Modeling, Python Programming, Artificial Intelligence and Machine Learning (AI/ML), Logistic Regression, Deep Learning, Artificial Neural Networks

    4.6
    Rating, 4.6 out of 5 stars
    ·
    29 reviews

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Snowflake for Data Science: Intro to Snowpark ML for Python

    Skills you'll gain: Model Deployment, Data Preprocessing, Applied Machine Learning, Machine Learning Methods, Machine Learning, Predictive Modeling, Feature Engineering, Data Pipelines, Data Transformation, Data Science, Python Programming, Regression Analysis

    Intermediate · Guided Project · Less Than 2 Hours

  • S

    Skillshare

    Beginner After Effects: Logo Animation

    Skills you'll gain: Adobe After Effects, Motion Graphics, Animations, Multimedia, Logo Design, Cinematography, Video Editing, 3D Modeling, Adobe Illustrator, Adobe Photoshop, Computer Graphics, Creative Design, Typography, Graphical Tools, Graphic Design, File Management, Color Theory

    4.3
    Rating, 4.3 out of 5 stars
    ·
    6 reviews

    Beginner · Specialization · 1 - 3 Months

  • 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

  • K

    KodeKloud

    Introduction to OpenAI

    Skills you'll gain: Prompt Engineering, OpenAI, OpenAI API, Responsible AI, Multimodal Prompts, AI Enablement, ChatGPT, Data Ethics, Artificial Intelligence, Generative AI, Tool Calling, AI Workflows, LLM Application, Image Analysis, Large Language Modeling, Natural Language Processing, Vision Transformer (ViT), Embeddings, Computer Vision, Reinforcement Learning

    Beginner · Course · 1 - 3 Months

  • C

    Coursera

    Data Cleaning in Snowflake: Techniques to Clean Messy Data

    Skills you'll gain: Data Cleansing, Snowflake Schema, Data Quality, Data Transformation, Data Validation, Data Manipulation, Data Analysis, SQL, Big Data

    4.1
    Rating, 4.1 out of 5 stars
    ·
    7 reviews

    Intermediate · Guided Project · Less Than 2 Hours

1…228229230…391

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

  • AI for Business Ethics & Financial Strategy Mastery: EDUCBA
  • CISA Certified Information Systems Auditor: Unit 1: Pearson
  • Google Data Analytics (DE): Google
  • Java Servlets Case Study - Online Admission Process: EDUCBA
  • Data Ingestion, Exploration & Visualization in Qlik Sense: Coursera
  • Transforming Exploratory Data Analysis with AI: Coursera
  • Interpretable Machine Learning: Duke University
  • Snowflake for Data Science: Intro to Snowpark ML for Python: Coursera
  • Beginner After Effects: Logo Animation: Skillshare
  • Positive Psychology: The Science of Happiness: American Psychological Association

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