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

Results for "quantitative model checking"


  • J

    Johns Hopkins University

    Introduction to Javascript and Ajax: Building Web Apps

    Skills you'll gain: Javascript, Ajax, JSON, Web Applications, Web Development, Object Oriented Programming (OOP), Event-Driven Programming, Responsive Web Design, Programming Principles, Prototyping, Network Protocols

    ★ 4.5 (54) · Mixed · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • U

    Unilever

    Campaign Performance Reporting, Visualization, & Improvement

    Skills you'll gain: Data Storytelling, Data Presentation, Marketing Effectiveness, Marketing Analytics, Campaign Management, Market Analysis, Marketing Strategies, Performance Reporting, Return On Investment, Data-Driven Marketing, Performance Measurement, Data Visualization Software, Performance Analysis, Data Ethics, Business Strategy, Marketing Channel, Go To Market Strategy, Smart Goals, Key Performance Indicators (KPIs), Cross-Channel Marketing

    ★ 4.6 (43) · Beginner · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • G

    Google Cloud

    The Power of Storytelling: How to Visualize Data in the Cloud

    Skills you'll gain: Data Storytelling, Data Visualization, Interactive Data Visualization, Data Presentation, Data Visualization Software, Dashboard, Looker (Software), Dashboard Creation, Data Modeling, Data Access, Business Analytics, Data Analysis, Analytics, Data Governance, Performance Tuning, Self Service Technologies, Version Control

    ★ 4.4 (21) · Beginner · Course · 1 - 3 Months

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • P

    Packt

    Networking Fundamentals and Protocols

    Skills you'll gain: Networking Hardware, OSI Models, Network Architecture, Network Protocols, General Networking, Network Security, TCP/IP, Computer Networking, Cloud Technologies, Network Infrastructure, Network Administration, Local Area Networks, Cloud Platforms, Network Planning And Design, Routing Protocols, Cloud Infrastructure, Virtual Private Networks (VPN), Cloud Services, Telecommunications, Wireless Networks

    ★ 4.3 (12) · Intermediate · Course · 1 - 3 Months

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • S

    Simplilearn

    Advanced Prompt Engineering Course

    Skills you'll gain: Prompt Patterns, Prompt Engineering Tools, LangChain, Retrieval-Augmented Generation, Generative AI, AI Workflows, LLM Application, Large Language Modeling, OpenAI API, Data Synthesis

    ★ 4.7 (6) · Beginner · Course · 1 - 4 Weeks

    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • P

    Packt

    3D Modeling for 3D Printing and Laser Cutting on Fusion 360

    Skills you'll gain: Visualization (Computer Graphics), Design Software, Software Installation, Functional Design, Technical Design, Design, Model Optimization, User Interface (UI), Data Import/Export

    ★ 4.9 (18) · Intermediate · Course · 1 - 3 Months

    Category: Credit offered
    Credit offered
  • T

    Tecnológico de Monterrey

    Entrepreneurial Mindset

    Skills you'll gain: Innovation, Business Modeling, Entrepreneurship, Lean Methodologies, Business Architecture, New Product Development, Business Strategies, New Business Development, Product Development, Value Propositions

    ★ 4.4 (50) · Advanced · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • U

    University of Washington

    Machine Teaching for Autonomous AI

    Skills you'll gain: Decision Intelligence, Data Storytelling, Model Training, Automation, Decision Support Systems, AI Product Strategy, Artificial Intelligence, Machine Learning, Innovation, Algorithms, Analysis

    ★ 4.7 (47) · Beginner · Course · 1 - 4 Weeks

    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • U

    University of Glasgow

    Fundamental MATLAB Programming for AI

    Skills you'll gain: Matlab, Data Visualization, Model Optimization, Scientific Visualization, Artificial Intelligence and Machine Learning (AI/ML), Mathematical Software, Data Literacy, Data Wrangling, Data Preprocessing, Mathematical Modeling, Engineering Analysis

    ★ 4.9 (76) · Beginner · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • U

    University of Colorado Boulder

    Introduction to Deep Learning

    Skills you'll gain: Recurrent Neural Networks (RNNs), Generative AI, Fine-tuning, Vision Transformer (ViT), Machine Learning Methods, Model Optimization, Model Training, Large Language Modeling, Embeddings, Network Architecture

    Intermediate · Course · 1 - 3 Months

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • I

    Infosec

    Leadership

    Skills you'll gain: Cyber Governance, Security Management, IT Management, Cybersecurity, Governance, Leadership Studies, Cyber Security Strategy, Information Assurance, Leadership, Change Management, Business Leadership, Governance Risk Management and Compliance, Organizational Change

    ★ 4.4 (90) · Beginner · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • U

    Universidad de los Andes

    Los portafolios y las inversiones en el mercado de capitales

    Skills you'll gain: Portfolio Management, Investments, Investment Management, Financial Market, Portfolio Risk, Capital Markets, Finance, Equities, Market Liquidity, Risk Modeling, Risk Analysis, Financial Modeling, Asset Management, Return On Investment, Financial Analysis, Risk Management, Market Dynamics, Business Valuation, Correlation Analysis

    ★ 4.8 (109) · Intermediate · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
1…240241242…443

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

  • Introduction to Javascript and Ajax: Building Web Apps: Johns Hopkins University
  • Campaign Performance Reporting, Visualization, & Improvement: Unilever
  • The Power of Storytelling: How to Visualize Data in the Cloud: Google Cloud
  • Networking Fundamentals and Protocols: Packt
  • Advanced Prompt Engineering Course: Simplilearn
  • 3D Modeling for 3D Printing and Laser Cutting on Fusion 360: Packt
  • Entrepreneurial Mindset: Tecnológico de Monterrey
  • Machine Teaching for Autonomous AI: University of Washington
  • Fundamental MATLAB Programming for AI: University of Glasgow
  • Introduction to Deep Learning: University of Colorado Boulder

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