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

Results for "quantitative model checking"


  • U

    University of California San Diego

    Algorithms on Graphs

    Skills you'll gain: Graph Theory, Algorithms, Network Routing, Programming Principles, Social Network Analysis, Data Structures, Network Analysis, Network Model

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

    Intermediate · Course · 1 - 3 Months

  • 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

  • Status: Hands-On Projects
    Hands-On Projects
    U

    University of Colorado Boulder

    Master of Science in Data Science

    Skills you'll gain: Prompt Engineering, User Story, New Product Development, Model Based Systems Engineering, Model Evaluation, Failure Analysis, Sustainable Business, Data Mining, Field-Programmable Gate Array (FPGA), Delegation Skills, Real-Time Operating Systems, Object Oriented Design, Sampling (Statistics), Proposal Writing, Supplier Management, Accountability, Data Ethics, Sustainability Reporting, Database Design, Supervised Learning

    Earn a degree

    Degree · 1 - 4 Years

  • D

    DeepLearning.AI

    Natural Language Processing with Attention Models

    Skills you'll gain: Natural Language Processing, Transfer Learning, Recurrent Neural Networks (RNNs), PyTorch (Machine Learning Library), Applied Machine Learning, Keras (Neural Network Library), Embeddings, Model Evaluation

    4.4
    Rating, 4.4 out of 5 stars
    ·
    1.1K reviews

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Hands-on Agentic AI: Building Intelligent Agents

    Skills you'll gain: Model Context Protocol, Responsible AI, LangGraph, AI Orchestration, AI Workflows, LangChain, Agentic systems, System Monitoring, CrewAI, OpenAI API, Generative AI Agents, LLM Application, Tool Calling, Agentic Workflows, Compliance Management, Governance, AI Security, Continuous Monitoring, Artificial Intelligence, Enterprise Application Management

    2.3
    Rating, 2.3 out of 5 stars
    ·
    11 reviews

    Intermediate · Specialization · 3 - 6 Months

  • E

    EDUCBA

    Build and Evaluate a JavaScript Quiz Application

    Skills you'll gain: Cascading Style Sheets (CSS), Web Applications, HTML and CSS, Event-Driven Programming, Front-End Web Development, Web Design and Development, Javascript, Application Development, Data Validation, UI Components, Debugging

    Beginner · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Apply Advanced Editing Techniques in Photoshop

    Skills you'll gain: Image Quality, Computer Graphic Techniques, 3D Modeling, Layout Design, AI Personalization

    Beginner · Course · 1 - 3 Months

  • A

    American Psychological Association

    Mental Health Essentials: Mood, Eating, Sleep, and Stress

    Skills you'll gain: Stress Management, Mental Health Diseases and Disorders, Mental Health, Mental Health Therapies, Behavioral Health, Clinical Psychology, Nutrition and Diet, Social Determinants Of Health, Health Promotion, Patient Evaluation, Diagnostic Tests, Health Education, Patient Treatment, Clinical Assessment, Demography

    4.8
    Rating, 4.8 out of 5 stars
    ·
    83 reviews

    Beginner · Specialization · 3 - 6 Months

  • O

    O.P. Jindal Global University

    Statistical Methods for Psychological Research

    Skills you'll gain: Correlation Analysis, Research Design, Regression Analysis, Statistical Methods, Statistical Hypothesis Testing, Analysis, Statistical Inference, Statistical Analysis, Data Literacy, Quantitative Research, Probability & Statistics, Descriptive Statistics, Sampling (Statistics), Probability Distribution

    Beginner · Course · 3 - 6 Months

  • U

    University of London

    Mathematical Foundations for Computing

    Skills you'll gain: Theoretical Computer Science, Computational Logic, Programming Principles, Computer Science, Algorithms, Computational Thinking, Database Theory, Mathematical Modeling, Data Structures, General Mathematics, Applied Mathematics, Business Mathematics, Advanced Mathematics, Logical Reasoning, Problem Solving

    Beginner · Course · 1 - 4 Weeks

  • P

    Packt

    RAG-Driven Generative AI

    Skills you'll gain: Generative AI, OpenAI, Data Pipelines, Data Preprocessing, Deep Learning, Scalability, Artificial Intelligence, Model Evaluation, Natural Language Processing, Machine Learning, Data Science

    Advanced · Course · 1 - 3 Months

  • G

    Google Cloud

    Data Engineering, Big Data, and Machine Learning on GCP

    Skills you'll gain: Model Deployment, Feature Engineering, PySpark, Data Import/Export, Big Data, Apache Spark, Dashboard, Data Architecture, Data Governance, Apache Kafka, Cloud Deployment, Apache Hadoop, Metadata Management, Data Storage, Apache Hive, Application Programming Interface (API), Data Quality, Data Cleansing, Applied Machine Learning, Cloud Services

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

    Intermediate · Specialization · 3 - 6 Months

1…676869…396

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

  • Algorithms on Graphs: University of California San Diego
  • HTML and CSS in depth: Meta
  • Master of Science in Data Science: University of Colorado Boulder
  • Natural Language Processing with Attention Models: DeepLearning.AI
  • Hands-on Agentic AI: Building Intelligent Agents: Coursera
  • Build and Evaluate a JavaScript Quiz Application: EDUCBA
  • Apply Advanced Editing Techniques in Photoshop: EDUCBA
  • Mental Health Essentials: Mood, Eating, Sleep, and Stress: American Psychological Association
  • Statistical Methods for Psychological Research: O.P. Jindal Global University
  • Mathematical Foundations for Computing: 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