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

Results for "quantitative model checking"


  • Status: New
    New
    P

    Packt

    Building LLM Powered Applications

    Skills you'll gain: LangChain, LLM Application, Prompt Engineering, Responsible AI, Large Language Modeling, Hugging Face, Generative AI, Generative Model Architectures, Retrieval-Augmented Generation, Generative AI Agents, AI Orchestration, Embeddings, Python Programming, Vector Databases, Machine Learning, Data Science

    Beginner · Course · 3 - 6 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    AI-Driven Financial Planning, Forecasting, and Automation

    Skills you'll gain: Financial Forecasting, Financial Data, Variance Analysis, Financial Analysis, Budgeting, Financial Modeling, Cash Flow Forecasting, Cost Management, Supervised Learning, Financial Planning, Applied Machine Learning, Predictive Modeling, Risk Modeling, Data-Driven Decision-Making, Business Analytics, Risk Analysis, Credit Risk, Model Evaluation, Feature Engineering, Data Pipelines

    Intermediate · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    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, Microsoft Power Platform, Business Analytics, Management Reporting, Real Time Data, Analytics, Visualization (Computer Graphics), Customer Analysis, Time Series Analysis and Forecasting, Marketing Analytics, Data Security, Profit and Loss (P&L) Management

    Beginner · Specialization · 3 - 6 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    S

    Starweaver

    Valuation and Investment Analysis

    Skills you'll gain: Financial Modeling, Business Valuation, Capital Budgeting, Risk Analysis, Financial Analysis, Investment Management, Excel Formulas, Data-Driven Decision-Making, Microsoft Excel, Corporate Finance, Financial Forecasting, Cash Flow Forecasting, Cash Flows, Financial Systems, Responsible AI, Simulation and Simulation Software, AI Enablement, Accounting

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    Data Engineering, Big Data, and Machine Learning on GCP

    Skills you'll gain: Model Deployment, Feature Engineering, PySpark, Data Import/Export, Big Data, Apache Spark, Dashboard, Data Architecture, Data Governance, Apache Kafka, Cloud Deployment, Apache Hadoop, Metadata Management, Data Storage, Apache Hive, Application Programming Interface (API), Data Quality, Data Cleansing, Applied Machine Learning, Cloud Services

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

    Intermediate · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    N

    NVIDIA

    AI Infrastructure and Operations Fundamentals

    Skills you'll gain: Artificial Intelligence and Machine Learning (AI/ML), Generative AI, Large Language Modeling, MLOps (Machine Learning Operations), Artificial Intelligence, Cloud Computing, Model Deployment, Cloud Infrastructure, AI Orchestration, Infrastructure Architecture, Data Infrastructure, Devops Tools, IT Infrastructure, Information Technology Operations, Deep Learning, Network Infrastructure, Hardware Architecture, Machine Learning, Data Centers, Computer Architecture

    4.6
    Rating, 4.6 out of 5 stars
    ·
    484 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Data Quality and Debugging for Reliable Pipelines

    Skills you'll gain: Data Validation, Data Quality, Data Integrity, Debugging, Data Pipelines, Test Automation, Root Cause Analysis, YAML, Generative AI, Development Testing, Anomaly Detection, Python Programming, DevOps, Dashboard, Reliability, Performance Tuning

    Beginner · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Market Research Statistical Analysis & Data Visualization

    Skills you'll gain: Data Storytelling, Rmarkdown, Knitr, Data Visualization, Data Validation, Statistical Hypothesis Testing, Data Presentation, Dashboard, Data Synthesis, Usability Testing, Regression Analysis, Power BI, A/B Testing, Data Transformation, Market Research, Statistical Analysis, R Programming, Business Intelligence, Microsoft Excel, Surveys

    Beginner · Specialization · 3 - 6 Months

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

    EDUCBA

    Create & Evaluate Advanced SketchUp 3D Models

    Skills you'll gain: SketchUp (3D Modeling Software), 3D Modeling, Architectural Drawing, Architectural Design, Spatial Analysis, AutoCAD, 3D Assets, Visualization (Computer Graphics), Data Mapping, Design Software, Computer Graphics, Mockups, Layout Design, Computer Graphic Techniques, Graphic and Visual Design, Technical Communication, UI Components, Color Theory, Microsoft Office, Data Import/Export

    Beginner · Specialization · 1 - 3 Months

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

    Edureka

    Claude Code for Vibe Coding

    Intermediate · Course · 1 - 4 Weeks

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

    EDUCBA

    Apply Advanced SPSS Data Analytics & Modeling

    Skills you'll gain: Dashboard, Data Transformation, SPSS (Software), SPSS, Descriptive Analytics, Data Visualization, Logistic Regression, Regression Analysis, Correlation Analysis, Analytics, Data Presentation, Data Preprocessing, Descriptive Statistics, Business Analytics, Statistical Modeling, Advanced Analytics, Data Analysis, Exploratory Data Analysis, Market Data, Statistical Analysis

    Beginner · Specialization · 3 - 6 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Integrate AI Insights

    Skills you'll gain: AI Enablement, Prompt Engineering, OpenAI API, AI Orchestration, AI Workflows, Artificial Intelligence, Automation, Operational Analysis, IT Management, Configuration Management, Quality Assurance, Model Evaluation, Productivity

    Intermediate · Course · 1 - 4 Weeks

1…373839…405

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

  • Building LLM Powered Applications: Packt
  • AI-Driven Financial Planning, Forecasting, and Automation: Coursera
  • Analyze and Visualize Business Data with Power BI: EDUCBA
  • Valuation and Investment Analysis: Starweaver
  • Data Engineering, Big Data, and Machine Learning on GCP: Google Cloud
  • AI Infrastructure and Operations Fundamentals: NVIDIA
  • Data Quality and Debugging for Reliable Pipelines: Coursera
  • Market Research Statistical Analysis & Data Visualization: Coursera
  • Create & Evaluate Advanced SketchUp 3D Models: EDUCBA
  • Claude Code for Vibe Coding: Edureka

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