• For Individuals
  • For Businesses
  • For Universities
  • For Governments
Coursera
  • Coursera Plus
  • Log In
  • Join for Free
    Coursera
    • Browse
    • Model Checking
    Skip to search results

    Filter by

    Subject
    Required
     *

    Language
    Required
     *

    The language used throughout the course, in both instruction and assessments.

    Learning Product
    Required
     *

    Build job-relevant skills in under 2 hours with hands-on tutorials.
    Learn from top instructors with graded assignments, videos, and discussion forums.
    Learn a new tool or skill in an interactive, hands-on environment.
    Get in-depth knowledge of a subject by completing a series of courses and projects.
    Earn career credentials from industry leaders that demonstrate your expertise.
    Earn your Bachelor’s or Master’s degree online for a fraction of the cost of in-person learning.

    Level
    Required
     *

    Duration
    Required
     *

    Skills
    Required
     *

    Subtitles
    Required
     *

    Educator
    Required
     *

    Results for "model checking"

    • U

      University of Colorado Boulder

      Control Systems Analysis: Modeling of Dynamic Systems

      Skills you'll gain: Control Systems, Mathematical Modeling, Engineering Analysis, Differential Equations, Engineering Calculations, Systems Analysis, Electrical Systems, Mechanics, Applied Mathematics, Basic Electrical Systems

      Build toward a degree

      4.6
      Rating, 4.6 out of 5 stars
      ·
      79 reviews

      Intermediate · Course · 1 - 3 Months

    • M

      Microsoft

      Extract, Transform and Load Data in Power BI

      Skills you'll gain: Extract, Transform, Load, Power BI, Data Validation, Data Transformation, Data Cleansing, Data Storage, Data Quality, Data Analysis, Data Integration, Data Storage Technologies, Business Intelligence

      4.6
      Rating, 4.6 out of 5 stars
      ·
      842 reviews

      Beginner · Course · 1 - 4 Weeks

    • G

      Google Cloud

      Advanced Machine Learning on Google Cloud

      Skills you'll gain: Natural Language Processing, MLOps (Machine Learning Operations), Tensorflow, Large Language Modeling, Reinforcement Learning, Computer Vision, Google Cloud Platform, Keras (Neural Network Library), Systems Design, Image Analysis, Hybrid Cloud Computing, Applied Machine Learning, Systems Architecture, Performance Tuning, Artificial Intelligence and Machine Learning (AI/ML), Deep Learning, Artificial Neural Networks, Machine Learning, Machine Learning Algorithms, Distributed Computing

      4.5
      Rating, 4.5 out of 5 stars
      ·
      1.5K reviews

      Advanced · Specialization · 3 - 6 Months

    • S

      Stanford University

      Graph Search, Shortest Paths, and Data Structures

      Skills you'll gain: Data Structures, Graph Theory, Algorithms, Network Model, Network Analysis, Computational Thinking, Theoretical Computer Science, Network Routing

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

      Intermediate · Course · 1 - 4 Weeks

    • U

      University of Colorado Boulder

      Databases for Data Scientists

      Skills you'll gain: Database Design, SQL, Database Management Systems, NoSQL, Relational Databases, Data Warehousing, Database Theory, Database Administration, Databases, Database Architecture and Administration, Database Systems, Database Management, Data Modeling, Query Languages, MongoDB, Big Data, Data Architecture, Data Integrity, Data Access, Data Analysis

      Build toward a degree

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

      Beginner · Specialization · 3 - 6 Months

    • Status: Free
      Free
      E

      Eindhoven University of Technology

      Process Mining: Data science in Action

      Skills you'll gain: Process Analysis, Process Improvement, Business Process Management, Data Mining, Business Process Modeling, Process Optimization, Data Processing, Performance Analysis, Big Data, Real Time Data, Data Science, Verification And Validation

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

      Intermediate · Course · 1 - 3 Months

    • U

      University of California San Diego

      Algorithms on Graphs

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

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

      Intermediate · Course · 1 - 3 Months

    • G

      Google

      Go Beyond the Numbers: Translate Data into Insights

      Skills you'll gain: Exploratory Data Analysis, Data Storytelling, Data Visualization Software, Data Presentation, Data Transformation, Data Ethics, Tableau Software, Data Manipulation, Data Cleansing, Data Analysis, Stakeholder Communications, Matplotlib, Pandas (Python Package), Jupyter, Data Validation, Python Programming

      4.7
      Rating, 4.7 out of 5 stars
      ·
      779 reviews

      Advanced · Course · 1 - 3 Months

    • D

      Duke University

      Entrepreneurial Finance: Strategy and Innovation

      Skills you'll gain: Financial Modeling, Blockchain, FinTech, Entrepreneurial Finance, Financial Market, Business Valuation, Risk Management, Excel Formulas, Market Data, Emerging Technologies, Cryptography, Risk Analysis, Fundraising and Crowdsourcing, Financial Analysis, Equities, Probability Distribution, Investments, Cryptographic Protocols, Private Equity, Financial Regulation

      4.5
      Rating, 4.5 out of 5 stars
      ·
      1.4K reviews

      Intermediate · Specialization · 3 - 6 Months

    • K

      Kennesaw State University

      Six Sigma Tools for Define and Measure

      Skills you'll gain: Data Collection, Lean Six Sigma, Six Sigma Methodology, Quality Improvement, Process Improvement, Business Process, Project Management, Project Planning, Customer experience improvement, Data Validation, Process Mapping, Statistics, Stakeholder Management, Statistical Analysis

      Build toward a degree

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

      Beginner · Course · 1 - 4 Weeks

    • T

      The University of Melbourne

      Essentials of Corporate Finance

      Skills you'll gain: Financial Analysis, Financial Statement Analysis, Financial Statements, Corporate Finance, Financial Management, Accounting, Financial Systems, Financial Modeling, Investments, Capital Markets, Market Liquidity, Balance Sheet, Derivatives, Financial Market, Income Statement, Financial Data, Business Valuation, International Finance, Mergers & Acquisitions, Capital Budgeting

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

      Intermediate · Specialization · 3 - 6 Months

    • Status: Free
      Free
      U

      University of Pennsylvania

      Social Impact Strategy: Tools for Entrepreneurs and Innovators

      Skills you'll gain: Design Thinking, Performance Measurement, Innovation, Entrepreneurship, Business Modeling, Project Performance, Strategic Thinking, Project Design, Organizational Structure, Needs Assessment, Growth Strategies, Market Analysis

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

      Beginner · Course · 1 - 4 Weeks

    Searches related to model checking

    quantitative model checking
    automated reasoning: symbolic model checking
    temporal logic model checking
    1…181920…198

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

    • Control Systems Analysis: Modeling of Dynamic Systems: University of Colorado Boulder
    • Extract, Transform and Load Data in Power BI: Microsoft
    • Advanced Machine Learning on Google Cloud: Google Cloud
    • Graph Search, Shortest Paths, and Data Structures: Stanford University
    • Databases for Data Scientists: University of Colorado Boulder
    • Process Mining: Data science in Action: Eindhoven University of Technology
    • Algorithms on Graphs: University of California San Diego
    • Go Beyond the Numbers: Translate Data into Insights: Google
    • Entrepreneurial Finance: Strategy and Innovation: Duke University
    • Six Sigma Tools for Define and Measure: Kennesaw State University

    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

    Technical Skills

    • ChatGPT
    • Coding
    • Computer Science
    • Cybersecurity
    • DevOps
    • Ethical Hacking
    • Generative AI
    • Java Programming
    • Python
    • Web Development

    Analytical Skills

    • Artificial Intelligence
    • Big Data
    • Business Analysis
    • Data Analytics
    • Data Science
    • Financial Modeling
    • Machine Learning
    • Microsoft Excel
    • Microsoft Power BI
    • SQL

    Business Skills

    • Accounting
    • Digital Marketing
    • E-commerce
    • Finance
    • Google
    • Graphic Design
    • IBM
    • Marketing
    • Project Management
    • Social Media Marketing

    Career Resources

    • Essential IT Certifications
    • High-Income Skills to Learn
    • How to Get a PMP Certification
    • How to Learn Artificial Intelligence
    • Popular Cybersecurity Certifications
    • Popular Data Analytics Certifications
    • What Does a Data Analyst Do?
    • Career Development Resources
    • Career Aptitude Test
    • Share your Coursera Learning Story

    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
    • ECTS Credit Recommendations

    Community

    • Learners
    • Partners
    • Beta Testers
    • Blog
    • The Coursera Podcast
    • Tech Blog
    • Teaching Center

    More

    • Press
    • Investors
    • Terms
    • Privacy
    • Help
    • Accessibility
    • Contact
    • Articles
    • Directory
    • Affiliates
    • Modern Slavery Statement
    • Manage Cookie Preferences
    Learn Anywhere
    Download on the App Store
    Get it on Google Play
    Logo of Certified B Corporation
    © 2025 Coursera Inc. All rights reserved.
    • Coursera Facebook
    • Coursera Linkedin
    • Coursera Twitter
    • Coursera YouTube
    • Coursera Instagram
    • Coursera TikTok