• 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

    SystemVerilog Tutorials: Hardware Design & Verification

    Skills you'll gain: Hardware Design, Field-Programmable Gate Array (FPGA), Data Structures, Systems Design, Application Specific Integrated Circuits, Electronic Systems, Computer Engineering, Verification And Validation, Embedded Systems, Software Design, Simulation and Simulation Software, Test Engineering, Programming Principles, Data Synthesis, Analysis, Design, Process Optimization

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Model Data in Weaviate

    Skills you'll gain: Query Languages, Relational Databases, Performance Tuning, Prompt Engineering, Retrieval-Augmented Generation, LangChain, Python Programming

    Intermediate · Course · 1 - 4 Weeks

  • M

    MathWorks

    Modeling and Simulation with Simulink

    Skills you'll gain: Simulation and Simulation Software, Control Systems, Model Based Systems Engineering, Engineering Design Process, Mathematical Modeling, Engineering Analysis, Systems Analysis, Test Case, Systems Design, Performance Tuning, Automation Engineering, Matlab

    4.8
    Rating, 4.8 out of 5 stars
    ·
    56 reviews

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    Model Training & Evaluation

    Skills you'll gain: Supervised Learning, Statistical Machine Learning, Scikit Learn (Machine Learning Library), Applied Machine Learning, Machine Learning

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Quantitative Research Methods: Tools for Data Analysis

    Skills you'll gain: Quantitative Research, Data-Driven Decision-Making, Descriptive Statistics, Data Analysis, Statistics, Research Design, Statistical Analysis, Microsoft Excel, Research Methodologies, Statistical Methods, R (Software), Research, Data Presentation, Surveys, Data Collection, Research Reports, Data Ethics

    4.5
    Rating, 4.5 out of 5 stars
    ·
    13 reviews

    Intermediate · Course · 1 - 4 Weeks

  • P

    Packt

    Ollama & DeepSeek Reasoning Model Masterclass

    Skills you'll gain: Deepseek, AI Workflows, LLM Application, Artificial Intelligence, Model Deployment, Large Language Modeling, Deep Learning, Software Installation, Development Environment, System Configuration, Code Review, Analysis

    Intermediate · Course · 1 - 3 Months

  • C

    Coursera

    Evaluate, Analyze, and Model Performance

    Skills you'll gain: Performance Metric, Predictive Modeling, Data-Driven Decision-Making, Failure Analysis, Statistical Analysis, Technical Communication, Statistical Hypothesis Testing

    Intermediate · Course · 1 - 4 Weeks

  • F

    Fractal Analytics

    Model Context Protocol (MCP) Mastery

    Skills you'll gain: Model Context Protocol, AI Security, Threat Modeling, AI Workflows, Secure Coding, LLM Application, Enterprise Architecture, Generative AI Agents, Security Controls, Interoperability, Agentic systems, Generative AI

    4.5
    Rating, 4.5 out of 5 stars
    ·
    55 reviews

    Intermediate · Course · 1 - 4 Weeks

  • B

    Birla Institute of Technology & Science, Pilani

    Basic Engineering Mathematics

    Skills you'll gain: Engineering Calculations, Trigonometry, Engineering Analysis, Linear Algebra, Calculus, Differential Equations, Mathematical Modeling, Mathematical Theory & Analysis, Applied Mathematics, Algebra

    4.6
    Rating, 4.6 out of 5 stars
    ·
    182 reviews

    Beginner · Course · 1 - 3 Months

  • U

    University of Pennsylvania

    Modeling Risk and Realities

    Skills you'll gain: Risk Management, Mathematical Modeling, Predictive Modeling, Financial Modeling, Simulation and Simulation Software, Operations Research, Probability Distribution, Data-Driven Decision-Making, Statistical Hypothesis Testing, Statistical Analysis, Microsoft Excel, Excel Formulas

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

    Mixed · Course · 1 - 4 Weeks

  • B

    Board Infinity

    Quantitative Aptitude Mastery— Exam & Recruitment Prep

    Skills you'll gain: Arithmetic, Logical Reasoning, Quantitative Research, Estimation, Applied Mathematics, Advanced Mathematics, Algebra, Complex Problem Solving, General Mathematics

    4.2
    Rating, 4.2 out of 5 stars
    ·
    6 reviews

    Beginner · Course · 1 - 4 Weeks

  • P

    Pragmatic AI Labs

    Advanced Fine-Tuning in Rust

    Skills you'll gain: Hugging Face, Large Language Modeling, Transfer Learning, Rust (Programming Language), Data Validation, Model Deployment, Verification And Validation, Performance Tuning, System Requirements, Model Evaluation, Hardware Architecture, Deep Learning, Data Quality

    Advanced · Course · 1 - 4 Weeks

1234…393

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

  • SystemVerilog Tutorials: Hardware Design & Verification: Coursera
  • Model Data in Weaviate: Coursera
  • Modeling and Simulation with Simulink : MathWorks
  • Model Training & Evaluation: Coursera
  • Quantitative Research Methods: Tools for Data Analysis: Coursera
  • Ollama & DeepSeek Reasoning Model Masterclass: Packt
  • Evaluate, Analyze, and Model Performance: Coursera
  • Model Context Protocol (MCP) Mastery: Fractal Analytics
  • Basic Engineering Mathematics: Birla Institute of Technology & Science, Pilani
  • Modeling Risk and Realities: University of Pennsylvania

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