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

Results for "quantitative model checking"


  • E

    Edureka

    Metadata Management and Data Catalogs

    Skills you'll gain: Metadata Management, Data Governance, Data Management, Data Modeling, Data Integration, Personally Identifiable Information, Data Security, Data Quality, Data Compilation, Data Processing, Data Literacy, Data Presentation, Docker (Software), Application Programming Interface (API), Application Lifecycle Management, Scalability

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    Explain Black-Box Models

    Skills you'll gain: Stakeholder Communications, Stakeholder Analysis, Data Presentation, Data Analysis, Exploratory Data Analysis, Business Communication, Model Evaluation, Responsible AI, Statistical Methods

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Manage Leads with HubSpot

    Skills you'll gain: HubSpot CRM, Customer Relationship Management (CRM) Software, Lead Generation, Customer Relationship Management, Sales Management, Sales Pipelines, Sales Development, Customer Data Management, Marketing Automation, Return On Investment, Salesforce, Data Management, Data Entry, Data Strategy, Data Import/Export

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Career Development for Multimodal Intelligence

    Skills you'll gain: Vision Transformer (ViT), MLOps (Machine Learning Operations), Generative AI, Model Deployment, Tensorflow, Performance Tuning, PyTorch (Machine Learning Library), Image Analysis, Deep Learning, Applied Machine Learning, Computer Vision, Natural Language Processing, System Design and Implementation, Technical Communication, Machine Learning

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    ETL Testing Basics for Databases

    Skills you'll gain: Extract, Transform, Load, Data Pipelines, Data Warehousing, Data Transformation, Data Integration, Databases, Data Manipulation, Real Time Data, AI Workflows, Database Management, Business Workflow Analysis, Performance Tuning, Process Design, Data Validation, Apache, Scalability, Design

    Beginner · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Analyze and Visualize Business Data with Power BI

    Skills you'll gain: Power BI, Data Modeling, Analytical Skills, Data Presentation, Analysis, Business Reporting, Data Management, Data Storytelling, Data Manipulation, Business Analytics, Management Reporting, Real Time Data, Analytics, Visualization (Computer Graphics), Ad Hoc Reporting, Customer Analysis, Time Series Analysis and Forecasting, Marketing Analytics, Data Security, Profit and Loss (P&L) Management

    Beginner · Specialization · 3 - 6 Months

  • G

    Google

    The Nuts and Bolts of Machine Learning

    Skills you'll gain: Feature Engineering, Decision Tree Learning, Applied Machine Learning, Supervised Learning, Advanced Analytics, Machine Learning, Machine Learning Algorithms, Unsupervised Learning, Analytics, Random Forest Algorithm, Data Analysis, Predictive Modeling, Model Evaluation, Bayesian Network, Python Programming, Statistical Modeling, Classification Algorithms

    4.8
    Rating, 4.8 out of 5 stars
    ·
    610 reviews

    Advanced · Course · 1 - 3 Months

  • M

    Macquarie University

    Generative AI for Educators: AI Literacy & Prompting Skills

    Skills you'll gain: Prompt Engineering, Education Software and Technology, Artificial Intelligence, AI Enablement, Education and Training, Educational Materials, Digital pedagogy, Teaching, Model Evaluation, Critical Thinking, Data Ethics, Instructional and Curriculum Design, Technology Strategies, Information Technology, Higher Education, Creative Thinking, Decision Making

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    Forecasting and Predictive Analytics Methods Pack

    Skills you'll gain: Time Series Analysis and Forecasting, Financial Forecasting, Forecasting, Trend Analysis, Advanced Analytics, Predictive Modeling, Predictive Analytics, Data-Driven Decision-Making, Business Analytics, Supervised Learning, Business Metrics, Market Data, Generative AI, Financial Management, Strategic Decision-Making, Market Intelligence, Statistical Analysis, Model Evaluation, Data Storytelling, Applied Machine Learning

    4
    Rating, 4 out of 5 stars
    ·
    57 reviews

    Intermediate · Specialization · 1 - 3 Months

  • C

    Coursera

    Project Sales: Excel Forecasting Functions

    Skills you'll gain: Financial Forecasting, Forecasting, Microsoft Excel, Business Planning, Excel Formulas, Time Series Analysis and Forecasting, Trend Analysis, Strategic Decision-Making, Revenue Forecasting, Predictive Modeling, Data-Driven Decision-Making, Sales Management, Data Analysis, Technical Communication, Financial Modeling, Performance Metric

    Intermediate · Course · 1 - 4 Weeks

  • D

    DeepLearning.AI

    Advanced Computer Vision with TensorFlow

    Skills you'll gain: Computer Vision, Tensorflow, Image Analysis, Transfer Learning, Convolutional Neural Networks, Keras (Neural Network Library), Deep Learning, Classification Algorithms, Model Evaluation, Visualization (Computer Graphics), Network Architecture

    4.7
    Rating, 4.7 out of 5 stars
    ·
    533 reviews

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Market Research, CRM, and Social Media Management

    Skills you'll gain: HubSpot CRM, Social Media Marketing, Market Research, Surveys, Marketing Automation, Marketing, Customer Relationship Management, Brand Awareness, Social Media Management, Marketing Strategies, Marketing Effectiveness, Research Methodologies, Market Analysis, Customer Insights, Social Media Campaigns, Customer Acquisition Management, Customer Data Management, Customer Communications Management, Content Management, Analytics

    Beginner · Course · 1 - 3 Months

1…434445…399

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

  • Metadata Management and Data Catalogs: Edureka
  • Explain Black-Box Models: Coursera
  • Manage Leads with HubSpot: Coursera
  • Career Development for Multimodal Intelligence: Coursera
  • ETL Testing Basics for Databases: Coursera
  • Analyze and Visualize Business Data with Power BI: EDUCBA
  • The Nuts and Bolts of Machine Learning: Google
  • Generative AI for Educators: AI Literacy & Prompting Skills: Macquarie University
  • Forecasting and Predictive Analytics Methods Pack: Coursera
  • Project Sales: Excel Forecasting Functions: 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