• 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

    Master Financial Modeling with Excel & AI: Analyze Forecast

    Skills you'll gain: Financial Modeling, Financial Forecasting, Financial Statements, Depreciation, Balance Sheet, Capital Budgeting, Financial Analysis, Excel Formulas, Income Statement, Microsoft Excel, Risk Analysis, Data Storytelling, Data Validation, Cash Flows, Data Presentation, Return On Investment, Pivot Tables And Charts

    Beginner · Course · 1 - 3 Months

  • U

    University of Colorado Boulder

    Introduction to Machine Learning: Unsupervised Learning

    Skills you'll gain: Feature Engineering, Statistical Methods, Model Evaluation

    Intermediate · Course · 1 - 3 Months

  • M

    Microsoft

    Data Preparation and Evaluation with Copilot

    Skills you'll gain: Microsoft Copilot, Data Quality, Anomaly Detection, Generative Adversarial Networks (GANs), Data Ethics, Generative AI, Data Pipelines, Data Cleansing, Data Preprocessing, Data Synthesis, Data Validation, Responsible AI, Natural Language Processing

    4.8
    Rating, 4.8 out of 5 stars
    ·
    17 reviews

    Beginner · Course · 1 - 4 Weeks

  • C

    Codio

    Select Topics in Python: Django

    Skills you'll gain: GitHub, Django (Web Framework), Git (Version Control System), Application Deployment, Unit Testing, Cloud Deployment, Database Development, Bootstrap (Front-End Framework), Model View Controller, Virtual Environment, Application Frameworks, PostgreSQL, HTML and CSS, Python Programming

    4.7
    Rating, 4.7 out of 5 stars
    ·
    10 reviews

    Intermediate · Course · 1 - 4 Weeks

  • N

    National Taiwan University

    工程資訊管理 BIM 應用

    Skills you'll gain: Building Information Modeling, Autodesk Revit, Engineering Management, Construction Estimating, Engineering Practices, Construction Management, Product Lifecycle Management, Computer-Aided Design, Simulation and Simulation Software

    4.7
    Rating, 4.7 out of 5 stars
    ·
    30 reviews

    Mixed · Course · 1 - 3 Months

  • G

    Google Cloud

    Automating the Deployment of Networks with Terraform

    Skills you'll gain: Firewall, Terraform, Virtual Networking, Virtual Machines, Infrastructure as Code (IaC), Network Infrastructure, Google Cloud Platform, IT Automation, Network Security, Verification And Validation, Cloud Deployment, Network Model

    Intermediate · Project · Less Than 2 Hours

  • U

    University of Michigan

    Information Extraction from Free Text Data in Health

    Skills you'll gain: Text Mining, Unstructured Data, Health Informatics, Natural Language Processing, Data Mining, Model Evaluation, Clinical Informatics, Deep Learning, Machine Learning, Medical Terminology, Artificial Neural Networks, Python Programming, Computer Programming, Computer Programming Tools

    Intermediate · Course · 1 - 4 Weeks

  • U

    Universidad de los Andes

    Modelaje y Análisis con información georreferenciada

    Skills you'll gain: Spatial Analysis, Geospatial Mapping, Geographic Information Systems, Geospatial Information and Technology, Environmental Monitoring, Climate Change Programs, Image Analysis, Python Programming, Jupyter, Model Evaluation, Software Installation

    4.7
    Rating, 4.7 out of 5 stars
    ·
    10 reviews

    Beginner · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Master DCF Valuation: Analyze, Forecast, and Present

    Skills you'll gain: Cash Flow Forecasting, Business Valuation, Financial Modeling, Financial Forecasting, Revenue Forecasting, Risk Modeling, Capital Budgeting, Equities, Risk Analysis, Financial Analysis, Data Presentation, Private Equity, Investment Banking, Presentations, Mergers & Acquisitions, Model Evaluation, Case Studies, Microsoft Excel

    4.6
    Rating, 4.6 out of 5 stars
    ·
    14 reviews

    Mixed · Course · 1 - 4 Weeks

  • P

    Packt

    Foundations of ML & Python for Data Science

    Skills you'll gain: Model Evaluation, Data Manipulation, Python Programming, Probability & Statistics, Applied Machine Learning, Pandas (Python Package), Data Science, Statistical Analysis, NumPy, Machine Learning, Probability Distribution

    Beginner · Course · 1 - 4 Weeks

  • J

    Johns Hopkins University

    Statistical Methods for Computer Science

    Skills you'll gain: Network Analysis, R Programming, Statistical Analysis, Regression Analysis, Statistical Modeling, Bayesian Network, Statistical Hypothesis Testing, Statistical Programming, Data Analysis, R (Software), Probability, Probability Distribution, Applied Machine Learning, Probability & Statistics, Statistical Methods, Social Network Analysis, Applied Mathematics, Simulations, Data Science, Markov Model

    Intermediate · Specialization · 3 - 6 Months

  • E

    Edureka

    Building RAG and MCP Servers with Claude

    Skills you'll gain: Retrieval-Augmented Generation, Model Context Protocol, Agentic Workflows, AI Orchestration, Generative AI Agents, Anthropic Claude, Prompt Engineering, Tool Calling, Generative AI, Automation, Scalability, Application Programming Interface (API), Servers, Python Programming

    Intermediate · Course · 1 - 4 Weeks

1…264265266…396

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

  • Master Financial Modeling with Excel & AI: Analyze Forecast: EDUCBA
  • Introduction to Machine Learning: Unsupervised Learning: University of Colorado Boulder
  • Data Preparation and Evaluation with Copilot: Microsoft
  • Select Topics in Python: Django: Codio
  • 工程資訊管理 BIM 應用: National Taiwan University
  • Automating the Deployment of Networks with Terraform: Google Cloud
  • Information Extraction from Free Text Data in Health: University of Michigan
  • Modelaje y Análisis con información georreferenciada: Universidad de los Andes
  • Master DCF Valuation: Analyze, Forecast, and Present: EDUCBA
  • Foundations of ML & Python for Data Science: Packt

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