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

Results for "quantitative model checking"


  • C

    Coursera

    Grow Trees & Powerful Ensembles

    Skills you'll gain: Classification And Regression Tree (CART), Model Deployment, Decision Tree Learning, Predictive Modeling, Model Evaluation, Feature Engineering, Machine Learning Methods, Random Forest Algorithm, Applied Machine Learning, Performance Tuning, Statistical Machine Learning, Scikit Learn (Machine Learning Library), Performance Analysis

    Intermediate · Course · 1 - 4 Weeks

  • M

    Meta

    HTML and CSS in depth

    Skills you'll gain: Responsive Web Design, Cascading Style Sheets (CSS), HTML and CSS, Bootstrap (Front-End Framework), Debugging, UI Components, Front-End Web Development, Semantic Web, Hypertext Markup Language (HTML), Browser Compatibility, Web Content Accessibility Guidelines, Web Analytics and SEO, User Interface (UI), Development Testing, Data Validation, Javascript, Animations

    4.7
    Rating, 4.7 out of 5 stars
    ·
    1.9K reviews

    Beginner · Course · 1 - 4 Weeks

  • G

    Google

    The Nuts and Bolts of Machine Learning

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

    4.8
    Rating, 4.8 out of 5 stars
    ·
    610 reviews

    Advanced · Course · 1 - 3 Months

  • E

    EDUCBA

    Build and Implement an Asset Management System in VB.NET

    Skills you'll gain: Database Design, Relational Databases, Database Development, Event-Driven Programming, Database Application, .NET Framework, Visual Basic (Programming Language), Application Development, Data Management, Business Logic, SQL, Data Validation, User Interface (UI)

    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

    Columbia University

    Construction Project Management

    Skills you'll gain: Construction Management, Construction, Building Information Modeling, Environment Health And Safety, Project Schedules, Lean Methodologies, Work Breakdown Structure, Project Management, Project Management Life Cycle, Sustainability Standards, Contract Management, Project Scoping, Project Planning, Risk Management

    4.8
    Rating, 4.8 out of 5 stars
    ·
    7.4K reviews

    Beginner · Course · 1 - 3 Months

  • C

    Coursera

    Manage Schema Evolution in Real‑Time Data

    Skills you'll gain: Data Pipelines, Apache Kafka, Operational Databases, Continuous Monitoring, Real Time Data, Data Integrity, Data Warehousing, Data Modeling, Software Versioning, Continuous Integration, Data Validation, Automation, Warehouse Management, Automation Engineering

    Intermediate · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Apply Advanced Java Case Studies & TestNG Automation

    Skills you'll gain: Java, Java Programming, Object Oriented Design, Object Oriented Programming (OOP), User Interface (UI) Design, Unit Testing, JUnit, Data Validation, Software Development, Application Design, Development Testing, Application Development, Test Automation, Test Case, Data Modeling, System Design and Implementation, Databases, Software Documentation, Development Environment, Software Testing

    Beginner · Specialization · 1 - 3 Months

  • J

    Johns Hopkins University

    Business Analytics with Excel: Intermediate to Advanced

    Skills you'll gain: Excel Macros, Decision Making, Strategic Decision-Making, Microsoft Excel, Process Optimization, Transportation, Supply Chain, and Logistics, Transportation Operations, Business Process Modeling, Operational Analysis, Business Modeling, Business Operations, Business Analytics, Portfolio Management, Investment Management

    Intermediate · Course · 1 - 3 Months

  • C

    Coursera

    Automate, Analyze, and Database Administration

    Skills you'll gain: Database Architecture and Administration, Database Administration, Data Maintenance, Operational Databases, Relational Databases, Capacity Planning, Database Management, Data Integrity, Application Performance Management, Disaster Recovery, Data Validation, Performance Tuning, Problem Management, Demand Planning, SQL, Data Access, Forecasting, Resource Planning, Performance Analysis

    Advanced · Course · 1 - 4 Weeks

  • G

    Google Cloud

    Build and Modernize Applications With Generative AI

    Skills you'll gain: Generative AI, Serverless Computing, Development Testing, AI Enablement, Cloud Applications, Application Development, Web Analytics and SEO, Embeddings, Software Development Tools, Information Architecture, Code Review, Test Case, MLOps (Machine Learning Operations), Web Development Tools, Query Languages, Computer Programming Tools, Integrated Development Environments, Secure Coding, Debugging, Containerization

    4.1
    Rating, 4.1 out of 5 stars
    ·
    43 reviews

    Intermediate · Specialization · 3 - 6 Months

  • E

    EDUCBA

    Apply Selenium WebDriver with Java for Web Automation

    Skills you'll gain: Selenium (Software), Test Script Development, Test Automation, Automation, Software Testing, Java, Test Data, Web Scraping, Software Design Patterns, Maintainability, Debugging, Data Validation

    Beginner · Course · 1 - 4 Weeks

1…414243…393

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

  • Grow Trees & Powerful Ensembles: Coursera
  • HTML and CSS in depth: Meta
  • The Nuts and Bolts of Machine Learning: Google
  • Build and Implement an Asset Management System in VB.NET: EDUCBA
  • Forecasting and Predictive Analytics Methods Pack: Coursera
  • Construction Project Management: Columbia University
  • Manage Schema Evolution in Real‑Time Data: Coursera
  • Apply Advanced Java Case Studies & TestNG Automation: EDUCBA
  • Business Analytics with Excel: Intermediate to Advanced: Johns Hopkins University
  • Automate, Analyze, and Database Administration: 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