• 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
    Status: Free Trial
    Free Trial
    C

    Coursera

    Optimize Deep Learning Models for Peak AI

    Skills you'll gain: Model Evaluation, Deep Learning, Performance Tuning, Applied Machine Learning, Performance Improvement, Artificial Intelligence and Machine Learning (AI/ML), Performance Analysis

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    N

    National Taiwan University

    BIM Fundamentals for Engineers

    Skills you'll gain: Building Information Modeling, Data Modeling, 3D Modeling, Computer-Aided Design, Construction, Engineering Practices, Construction Management, Civil Engineering, Mechanical Engineering

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

    Beginner · Course · 1 - 3 Months

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

    EDUCBA

    Apply SketchUp for Beginner-Level 3D Modeling

    Skills you'll gain: SketchUp (3D Modeling Software), 3D Modeling, Visualization (Computer Graphics), Model Evaluation, Design Software, Software Installation, User Interface (UI)

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of California, Santa Cruz

    Bayesian Statistics

    Skills you'll gain: Bayesian Statistics, Time Series Analysis and Forecasting, Statistical Inference, Statistical Methods, R Programming, Forecasting, Probability & Statistics, Statistical Modeling, Technical Communication, Data Presentation, Probability, Statistics, Statistical Analysis, Statistical Software, Probability Distribution, Data Analysis, Markov Model, Model Evaluation, Mathematical Modeling, Data Science

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

    Intermediate · Specialization · 3 - 6 Months

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

    Coursera

    Fine-Tuning and Evaluating Vision AI Models

    Skills you'll gain: Transfer Learning, Image Analysis, Computer Vision, Model Evaluation, Convolutional Neural Networks, Verification And Validation, Model Deployment, Performance Metric, Quality Assessment, Performance Tuning, Performance Measurement, Data Quality, Applied Machine Learning, Data Validation, Performance Analysis, Predictive Modeling, Statistical Machine Learning, Statistical Modeling

    Intermediate · Course · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    R

    Rice University

    Business Finance and Data Analysis Fundamentals

    Skills you'll gain: Capital Budgeting, Cash Flows, Probability & Statistics, Finance, Financial Statements, Microsoft Excel, Descriptive Statistics, Financial Accounting, Business Analytics, Box Plots, Probability Distribution, Data Visualization, Probability, Statistics, Ledgers (Accounting), Financial Analysis, Business Valuation, Business Mathematics, Financial Management, Data Analysis

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

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    S

    Stanford University

    Algorithms

    Skills you'll gain: Data Structures, Graph Theory, Algorithms, Bioinformatics, Theoretical Computer Science, Network Model, Programming Principles, Social Network Analysis, Network Analysis, Computational Thinking, Analysis, Computer Science, Network Routing, Probability, Pseudocode, Computational Logic, Operations Research

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

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Business Analytics with Excel: Elementary to Advanced

    Skills you'll gain: Risk Modeling, Operations Research, Regression Analysis, Microsoft Excel, Business Analytics, Risk Analysis, Business Process Modeling, Business Modeling, Data Modeling, Resource Allocation, Analysis, Statistical Analysis, Mathematical Modeling, Process Optimization, Financial Analysis, Statistical Methods, Predictive Analytics, Transportation Operations, Complex Problem Solving, Linear Algebra

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

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    I

    IBM

    Introduction to Software Engineering

    Skills you'll gain: Software Development Life Cycle, Software Architecture, Software Design, Software Development Methodologies, Software Design Patterns, Development Environment, Unified Modeling Language, Software Engineering, Web Applications, Software Development, Application Deployment, Programming Principles, Front-End Web Development, Back-End Web Development, Python Programming, Software Versioning

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

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    Q

    Queen Mary University of London

    Market Research

    Skills you'll gain: Qualitative Research, Proposal Development, Market Research, Research Reports, Data Collection, Research Design, Research Methodologies, Analytics, Data Analysis, Statistical Hypothesis Testing, Survey Creation, Statistical Analysis, Surveys, Correlation Analysis, Business Research, Quantitative Research, Research, Science and Research, Market Analysis, Focus Group

    4.7
    Rating, 4.7 out of 5 stars
    ·
    925 reviews

    Beginner · Specialization · 3 - 6 Months

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

    EDUCBA

    Analyze and Apply R for Data Analytics

    Skills you'll gain: Exploratory Data Analysis, Data Manipulation, Statistical Analysis, R (Software), Analytical Skills, Ggplot2, Data Storytelling, R Programming, Statistical Methods, Quantitative Research, Data Visualization Software, Data Science, Data Preprocessing, Probability & Statistics, Scatter Plots, Business Analytics, Statistical Visualization, Correlation Analysis, Descriptive Statistics, Data Analysis

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    M

    Michigan State University

    Photography Basics and Beyond: From Smartphone to DSLR

    Skills you'll gain: Design Elements And Principles, Photography, Photo Editing, Peer Review, Creative Design, Graphic and Visual Design, Photo/Video Production and Technology, Image Quality, File Management, Creativity, Storytelling, Digital Publishing, Social Media, Content Creation, Copywriting, Information Privacy, Writing, Web Design and Development

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

    Beginner · Specialization · 3 - 6 Months

1…272829…407

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

  • Optimize Deep Learning Models for Peak AI: Coursera
  • BIM Fundamentals for Engineers: National Taiwan University
  • Apply SketchUp for Beginner-Level 3D Modeling: EDUCBA
  • Bayesian Statistics: University of California, Santa Cruz
  • Fine-Tuning and Evaluating Vision AI Models: Coursera
  • Business Finance and Data Analysis Fundamentals: Rice University
  • Algorithms: Stanford University
  • Business Analytics with Excel: Elementary to Advanced: Johns Hopkins University
  • Introduction to Software Engineering: IBM
  • Market Research: Queen Mary University of London

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