• 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"

    • M

      Microsoft

      Deploy and Maintain Power BI Assets and Capstone project

      Skills you'll gain: Power BI, Dashboard, SQL, Microsoft SQL Servers, Data Security, Data Visualization Software, Data Modeling, Data Management

      4.4
      Rating, 4.4 out of 5 stars
      ·
      237 reviews

      Beginner · Course · 1 - 4 Weeks

    • U

      University of Virginia

      Customer-Centric IT Strategy

      Skills you'll gain: Information Technology, Business Strategy, Process Design, Design Thinking, Large Language Modeling, Cybersecurity, Business Modeling, Agile Methodology, Artificial Intelligence, Project Portfolio Management, Cost Benefit Analysis, Technical Communication, User Story

      4.6
      Rating, 4.6 out of 5 stars
      ·
      664 reviews

      Beginner · Course · 1 - 4 Weeks

    • U

      University of California San Diego

      Advanced Algorithms and Complexity

      Skills you'll gain: Algorithms, Network Routing, Network Model, Graph Theory, Operations Research, Theoretical Computer Science, Network Analysis, Data Structures, Computational Thinking, Linear Algebra, Computer Science, Big Data, Probability & Statistics

      4.6
      Rating, 4.6 out of 5 stars
      ·
      694 reviews

      Advanced · Course · 1 - 3 Months

    • U

      University of Colorado Boulder

      Business Analytics for Decision Making

      Skills you'll gain: Business Analytics, Risk Analysis, Business Analysis, Decision Making, Analytics, Business Intelligence, Predictive Analytics, Simulation and Simulation Software, Business Modeling, Data Analysis, Process Optimization, Market Analysis, Unsupervised Learning, Microsoft Excel, Probability Distribution

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

      Beginner · Course · 1 - 4 Weeks

    • I

      IBM

      Supervised Machine Learning: Classification

      Skills you'll gain: Supervised Learning, Machine Learning Algorithms, Classification And Regression Tree (CART), Applied Machine Learning, Predictive Modeling, Scikit Learn (Machine Learning Library), Data Processing, Data Cleansing, Machine Learning, Regression Analysis, Data Manipulation, Business Analytics, Feature Engineering, Random Forest Algorithm, Statistical Modeling, Sampling (Statistics), Performance Metric

      4.8
      Rating, 4.8 out of 5 stars
      ·
      407 reviews

      Intermediate · Course · 1 - 3 Months

    • M

      Meta

      Front-End Developer Capstone

      Skills you'll gain: Responsive Web Design, Front-End Web Development, Git (Version Control System), Web Content Accessibility Guidelines, User Interface and User Experience (UI/UX) Design, HTML and CSS, Code Review, React.js, Usability, Usability Testing, Web Applications, Semantic Web, Data Validation

      4.6
      Rating, 4.6 out of 5 stars
      ·
      413 reviews

      Intermediate · Course · 1 - 4 Weeks

    • N

      Northwestern University

      The Importance of Listening

      Skills you'll gain: Real Time Data, Social Media, Social Media Marketing, Big Data, Marketing Analytics, Crisis Management, Analytics, Content Strategy, Text Mining, Data-Driven Decision-Making

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

      Mixed · Course · 1 - 4 Weeks

    • T

      The University of North Carolina at Chapel Hill

      Psychology of Popularity

      Skills you'll gain: Human Development, Psychology, Social Sciences, Behavioral Health, Behavior Management, Mental Health, Mental and Behavioral Health, Sociology, Child Development, Biology, Research

      4.7
      Rating, 4.7 out of 5 stars
      ·
      998 reviews

      Beginner · Course · 1 - 3 Months

    • I

      Instituto Tecnológico de Aeronáutica

      Princípios de Desenvolvimento Ágil de Software

      Skills you'll gain: User Story, Agile Software Development, Backlogs, Agile Methodology, Scrum (Software Development), Sprint Retrospectives, Test Driven Development (TDD), Requirements Analysis, Sprint Planning, Unified Modeling Language, Software Development Methodologies, Software Engineering, Software Development

      4.6
      Rating, 4.6 out of 5 stars
      ·
      219 reviews

      Intermediate · Course · 1 - 4 Weeks

    • D

      DeepLearning.AI

      Custom and Distributed Training with TensorFlow

      Skills you'll gain: Tensorflow, Deep Learning, Distributed Computing, Performance Tuning, Machine Learning Methods

      4.8
      Rating, 4.8 out of 5 stars
      ·
      433 reviews

      Intermediate · Course · 1 - 4 Weeks

    • S

      Stanford University

      Probabilistic Graphical Models 3: Learning

      Skills you'll gain: Bayesian Network, Applied Machine Learning, Machine Learning Algorithms, Markov Model, Machine Learning, Statistical Modeling, Network Analysis, Probability Distribution, Statistical Methods, Probability & Statistics, Algorithms

      4.6
      Rating, 4.6 out of 5 stars
      ·
      303 reviews

      Advanced · Course · 1 - 3 Months

    • R

      Rice University

      Communication Skills for Engineers

      Skills you'll gain: Proposal Writing, Presentations, Technical Communication, Verbal Communication Skills, Executive Presence, Business Writing, Public Speaking, Business Communication, Concision, Crisis Management, Persuasive Communication, Interpersonal Communications, Technical Writing, Communication, Meeting Facilitation, Electronic Media, Communication Strategies, Intercultural Competence, Report Writing, Stakeholder Communications

      4.7
      Rating, 4.7 out of 5 stars
      ·
      870 reviews

      Beginner · Specialization · 3 - 6 Months

    Searches related to model checking

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

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

    • Deploy and Maintain Power BI Assets and Capstone project: Microsoft
    • Customer-Centric IT Strategy: University of Virginia
    • Advanced Algorithms and Complexity: University of California San Diego
    • Business Analytics for Decision Making: University of Colorado Boulder
    • Supervised Machine Learning: Classification: IBM
    • Front-End Developer Capstone : Meta
    • The Importance of Listening: Northwestern University
    • Psychology of Popularity: The University of North Carolina at Chapel Hill
    • Princípios de Desenvolvimento Ágil de Software: Instituto Tecnológico de Aeronáutica
    • Custom and Distributed Training with TensorFlow: DeepLearning.AI

    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