• For Individuals
  • For Businesses
  • For Universities
  • For Governments
Coursera
  • Online Degrees
  • Careers
  • 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 Pennsylvania

      Fundamentals of Quantitative Modeling

      Skills you'll gain: Mathematical Modeling, Statistical Modeling, Regression Analysis, Business Modeling, Financial Modeling, Business Mathematics, Markov Model, Probability, Predictive Analytics, Process Optimization, Risk Management, Statistics, Probability Distribution, Simulation and Simulation Software, Forecasting

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

      Mixed · Course · 1 - 4 Weeks

    • S

      Siemens

      Introduction to Model-Based Systems Engineering

      Skills you'll gain: Unified Modeling Language, Systems Engineering, Systems Design, Software Systems, Systems Architecture, Systems Analysis, Simulations, Solution Architecture, Requirements Analysis, Verification And Validation, Hardware Architecture

      4.2
      Rating, 4.2 out of 5 stars
      ·
      59 reviews

      Beginner · Course · 1 - 3 Months

    • V

      Vanderbilt University

      Generative AI Leadership & Strategy

      Skills you'll gain: Prompt Engineering, ChatGPT, Ideation, Verification And Validation, Data Validation, Succession Planning, Productivity, Business Writing, Generative AI, Leadership, Meeting Facilitation, Organizational Leadership, Artificial Intelligence, Large Language Modeling, Business Leadership, Proposal Writing, Communication, Risk Management Framework, Creative Thinking, Human Resource Strategy

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

      Beginner · Specialization · 1 - 3 Months

    • U

      University of Michigan

      Web Applications for Everybody

      Skills you'll gain: Database Design, SQL, MySQL, PHP (Scripting Language), Relational Databases, JSON, jQuery, Hypertext Markup Language (HTML), Javascript and jQuery, Ajax, Databases, Data Modeling, Database Application, Database Development, Debugging, Web Applications, Object Oriented Programming (OOP), Web Development, Authentications, Web Development Tools

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

      Intermediate · Specialization · 3 - 6 Months

    • I

      IE Business School

      Marketing Mix Implementation

      Skills you'll gain: Product Lifecycle Management, Marketing Communications, Integrated Marketing Communications, Advertising, Marketing, Brand Strategy, Marketing Budgets, Strategic Decision-Making, Brand Management, Customer experience strategy (CX), Price Negotiation, Marketing Analytics, Marketing Strategies, Marketing Channel, Strategic Marketing, Product Strategy, Revenue Management, Merchandising, Conflict Management, Market Opportunities

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

      Beginner · Specialization · 3 - 6 Months

    • U

      University of Alberta

      Software Architecture

      Skills you'll gain: Software Architecture, Unified Modeling Language, Systems Architecture, Software Design, Software Design Documents, Software Visualization, Solution Architecture, Software Systems, Software Development, Software Documentation, Software Design Patterns, Enterprise Architecture, Maintainability, Scalability

      4.5
      Rating, 4.5 out of 5 stars
      ·
      923 reviews

      Intermediate · Course · 1 - 4 Weeks

    • I

      IBM

      Introduction to Data Science

      Skills you'll gain: SQL, Jupyter, Data Literacy, Data Mining, Peer Review, Data Modeling, Relational Databases, Stored Procedure, Databases, Data Science, Big Data, Computer Programming Tools, Query Languages, Data Analysis Software, Data Cleansing, GitHub, Business Analysis, Cloud Computing, Data Analysis, Digital Transformation

      Build toward a degree

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

      Beginner · Specialization · 3 - 6 Months

    • U

      University of Michigan

      Introduction to HTML5

      Skills you'll gain: Hypertext Markup Language (HTML), Web Content Accessibility Guidelines, Web Design and Development, Usability, Semantic Web, Cascading Style Sheets (CSS), Cloud Hosting, Web Servers, Data Validation, Web Development Tools

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

      Beginner · Course · 1 - 4 Weeks

    • A

      Amazon Web Services

      AWS Cloud Technical Essentials

      Skills you'll gain: AWS Identity and Access Management (IAM), Amazon CloudWatch, Amazon DynamoDB, Amazon Web Services, Cloud Computing, Amazon S3, Scalability, Amazon Elastic Compute Cloud, Cloud Security, Serverless Computing, Cloud Storage, Databases, Virtual Private Networks (VPN), Load Balancing, General Networking, Containerization

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

      Beginner · Course · 1 - 4 Weeks

    • U

      University of Minnesota

      Introduction to Software Testing

      Skills you'll gain: Software Testing, JUnit, Verification And Validation, Unit Testing, Test Case, Test Automation, Development Testing, Test Planning, Code Coverage, Software Quality Assurance, Functional Testing, Testability, Integration Testing, Test Data, Issue Tracking

      4.4
      Rating, 4.4 out of 5 stars
      ·
      778 reviews

      Intermediate · Course · 1 - 4 Weeks

    • U

      University of Michigan

      Applied Data Science with Python

      Skills you'll gain: Matplotlib, Network Analysis, Feature Engineering, Data Visualization Software, Interactive Data Visualization, Scientific Visualization, Pandas (Python Package), Applied Machine Learning, Supervised Learning, Text Mining, Visualization (Computer Graphics), Statistical Visualization, Scikit Learn (Machine Learning Library), Network Model, Jupyter, NumPy, Graph Theory, Data Manipulation, Natural Language Processing, Data Analysis

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

      Intermediate · Specialization · 3 - 6 Months

    • U

      University of Michigan

      Python 3 Programming

      Skills you'll gain: Unified Modeling Language, JSON, Object Oriented Programming (OOP), Software Design, Debugging, Object Oriented Design, Data Processing, Web Scraping, Unit Testing, Programming Principles, Data Import/Export, Restful API, Python Programming, Image Analysis, Data Manipulation, Jupyter, Maintainability, Data Structures, Software Engineering, File Management

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

      Beginner · Specialization · 3 - 6 Months

    Searches related to model checking

    quantitative model checking
    automated reasoning: symbolic model checking
    temporal logic model checking
    1…678…197

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

    • Fundamentals of Quantitative Modeling: University of Pennsylvania
    • Introduction to Model-Based Systems Engineering: Siemens
    • Generative AI Leadership & Strategy: Vanderbilt University
    • Web Applications for Everybody: University of Michigan
    • Marketing Mix Implementation: IE Business School
    • Software Architecture: University of Alberta
    • Introduction to Data Science: IBM
    • Introduction to HTML5: University of Michigan
    • AWS Cloud Technical Essentials: Amazon Web Services
    • Introduction to Software Testing: University of Minnesota

    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