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

Results for "quantitative model checking"


  • I

    Infosec

    Secure Coding in Laravel

    Skills you'll gain: Open Web Application Security Project (OWASP), Secure Coding, Distributed Denial-Of-Service (DDoS) Attacks, Application Security, Security Testing, Authorization (Computing), Authentications, Data Validation, Encryption, Security Controls, Data Security, Vulnerability Scanning, Role-Based Access Control (RBAC), Verification And Validation, Intrusion Detection and Prevention, Database Application, Security Awareness, Cybersecurity, Web Servers, Web Development Tools

    4.5
    Rating, 4.5 out of 5 stars
    ·
    25 reviews

    Beginner · Specialization · 1 - 3 Months

  • E

    EDUCBA

    Financial Modeling in Mining: Analyze & Evaluate

    Skills you'll gain: Financial Modeling, Balance Sheet, Financial Statement Analysis, Financial Statements, Revenue Forecasting, Depreciation, Capital Expenditure, Financial Analysis, Financial Forecasting, Finance, Business Valuation, Working Capital, Business Metrics, Equities, Cash Flows, Forecasting

    4.8
    Rating, 4.8 out of 5 stars
    ·
    12 reviews

    Mixed · Course · 1 - 4 Weeks

  • C

    Coursera

    Calculate WACC: Capital Costs

    Skills you'll gain: Financial Analysis, Capital Expenditure, Return On Investment, Business Strategy, Data-Driven Decision-Making, Capital Budgeting, Financial Modeling, Financial Statements, Corporate Finance, Equities, Risk Analysis

    Intermediate · Course · 1 - 4 Weeks

  • N

    NIIT

    Building Interactive Web Pages Using Modern JavaScript

    Skills you'll gain: JSON, Javascript, Ajax, JavaScript Frameworks, Web Development Tools, Software Testing, Frontend Performance, Event-Driven Programming, Hypertext Markup Language (HTML), Web Servers, Data Validation, Data Structures

    3.8
    Rating, 3.8 out of 5 stars
    ·
    12 reviews

    Beginner · Course · 1 - 3 Months

  • U

    Universidad Austral

    Introducción al Aprendizaje Profundo

    Skills you'll gain: Supervised Learning, Deep Learning, Artificial Neural Networks, Machine Learning Algorithms, Logistic Regression, Artificial Intelligence and Machine Learning (AI/ML), Classification Algorithms, Linear Algebra, Regression Analysis

    4.3
    Rating, 4.3 out of 5 stars
    ·
    7 reviews

    Beginner · Course · 1 - 4 Weeks

  • U

    University of California, Santa Cruz

    Bayesian Statistics: Capstone Project

    Skills you'll gain: Bayesian Statistics, Technical Communication, Data Presentation, R Programming, Statistical Analysis, Statistical Modeling, Data Analysis, Time Series Analysis and Forecasting, Statistical Inference, Sampling (Statistics), Model Evaluation, Probability Distribution

    4.4
    Rating, 4.4 out of 5 stars
    ·
    9 reviews

    Advanced · Course · 1 - 4 Weeks

  • C

    Coursera

    Interpretable Machine Learning Applications: Part 4

    Skills you'll gain: Applied Machine Learning, Data Preprocessing, Data Analysis, Data Import/Export, Google Cloud Platform, Model Evaluation, Decision Tree Learning, Exploratory Data Analysis, Machine Learning, Classification Algorithms, Random Forest Algorithm, Statistical Visualization, Responsible AI

    4.7
    Rating, 4.7 out of 5 stars
    ·
    19 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • E

    Edureka

    Introduction to Analytics Engineering

    Skills you'll gain: SQL, Star Schema, Data Modeling, Data Quality, Data Pipelines, Database Design, Data Mart, Data Validation, Extract, Transform, Load, Data Analysis, Data Warehousing, Data Transformation, Data Management, Version Control

    Beginner · Course · 1 - 4 Weeks

  • A

    Arizona State University

    Probability, Statistical Inference and Regression Analysis

    Skills you'll gain: Probability & Statistics, Analytical Skills, Exploratory Data Analysis, Estimation, Logistic Regression

    Intermediate · Course · 1 - 3 Months

  • C

    Coursera

    Pneumonia Classification using PyTorch

    Skills you'll gain: PyTorch (Machine Learning Library), Data Preprocessing, Transfer Learning, Convolutional Neural Networks, Medical Imaging, Radiology, Image Analysis, Deep Learning, Python Programming

    4.4
    Rating, 4.4 out of 5 stars
    ·
    11 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • I

    Infosec

    Laravel Protections

    Skills you'll gain: Distributed Denial-Of-Service (DDoS) Attacks, Secure Coding, Application Security, Encryption, Security Controls, Data Security, Database Application, Web Servers, Web Applications, Cryptography, Data Encryption Standard, Authentications, Query Languages, Data Validation, Computer Programming

    4.4
    Rating, 4.4 out of 5 stars
    ·
    9 reviews

    Beginner · Course · 1 - 4 Weeks

  • U

    University of Colorado Boulder

    Object-Oriented Analysis and Design: Patterns and Principles

    Skills you'll gain: Object Oriented Design, JUnit, Object Oriented Programming (OOP), Software Design Patterns, Java, Unified Modeling Language, Software Design, Java Programming, Software Architecture, Model View Controller, Conceptual Design

    Build toward a degree

    Intermediate · Course · 1 - 3 Months

1…233234235…399

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

  • Secure Coding in Laravel: Infosec
  • Financial Modeling in Mining: Analyze & Evaluate: EDUCBA
  • Calculate WACC: Capital Costs: Coursera
  • Building Interactive Web Pages Using Modern JavaScript: NIIT
  • Introducción al Aprendizaje Profundo: Universidad Austral
  • Bayesian Statistics: Capstone Project: University of California, Santa Cruz
  • Interpretable Machine Learning Applications: Part 4: Coursera
  • Introduction to Analytics Engineering: Edureka
  • Probability, Statistical Inference and Regression Analysis: Arizona State University
  • Pneumonia Classification using PyTorch : 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