• 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 Illinois Urbana-Champaign

      Finance of Mergers and Acquisitions: Valuation and Pricing

      Skills you'll gain: Mergers & Acquisitions, Business Valuation, Private Equity, Financial Analysis, Financial Modeling, Capital Markets, Corporate Finance, Market Data, Cash Flows, Business Strategy

      4.7
      Rating, 4.7 out of 5 stars
      ·
      250 reviews

      Intermediate · Course · 1 - 3 Months

    • I

      IE Business School

      Understanding economic policymaking

      Skills you'll gain: Financial Policy, Public Policies, Economics, Economics, Policy, and Social Studies, Tax, International Finance, Policy Analysis, Crisis Management, Fiscal Management, Financial Systems, Supply And Demand, Financial Market

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

      Beginner · Course · 1 - 3 Months

    • U

      University of Pennsylvania

      Entrepreneurship 4: Financing and Profitability

      Skills you'll gain: Entrepreneurial Finance, Business Valuation, Entrepreneurship, Private Equity, Business Modeling, Financial Modeling, Finance, Sales Presentations, Investments, Financial Analysis, Mergers & Acquisitions, Fundraising and Crowdsourcing, Presentations, Business Development, Business Strategies, Cash Flows, Customer Retention, Innovation

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

      Mixed · Course · 1 - 4 Weeks

    • U

      University of Michigan

      High Stakes Leadership: Leading in Times of Crisis

      Skills you'll gain: Crisis Management, Leadership, Strategic Communication, Resilience, Stakeholder Management, Business Continuity, Organizational Change, Dealing With Ambiguity, Proactivity, Communication Strategies, Business Risk Management, Adaptability, Decision Making

      4.7
      Rating, 4.7 out of 5 stars
      ·
      439 reviews

      Intermediate · Course · 1 - 4 Weeks

    • Status: Free
      Free
      C

      Coursera Project Network

      Create a Project Management Tracker using Microsoft Excel

      Skills you'll gain: Microsoft Excel, Project Management Software, Collaborative Software, Spreadsheet Software, Project Coordination, Productivity Software, Data Validation

      4.6
      Rating, 4.6 out of 5 stars
      ·
      808 reviews

      Beginner · Guided Project · Less Than 2 Hours

    • R

      Rice University

      Distributed Programming in Java

      Skills you'll gain: Apache Kafka, Apache Spark, Apache Hadoop, Distributed Computing, Java, Software Architecture, Systems Architecture, Programming Principles, Servers, Algorithms, Network Protocols

      4.5
      Rating, 4.5 out of 5 stars
      ·
      498 reviews

      Intermediate · Course · 1 - 3 Months

    • U

      University of Pennsylvania

      Fundamentos Empresariales

      Skills you'll gain: Operations Management, Balance Sheet, Process Analysis, Operational Efficiency, Financial Statement Analysis, Financial Statements, Finance, Financial Accounting, Business Process, Capital Budgeting, Branding, Financial Modeling, Financial Analysis, Brand Strategy, Strategic Marketing, Marketing, Analysis, Business Analysis, Operational Analysis, Business

      4.6
      Rating, 4.6 out of 5 stars
      ·
      439 reviews

      Beginner · Specialization · 3 - 6 Months

    • U

      University of Alberta

      Prediction and Control with Function Approximation

      Skills you'll gain: Reinforcement Learning, Deep Learning, Feature Engineering, Machine Learning, Supervised Learning, Artificial Neural Networks, Pseudocode, Linear Algebra, Probability Distribution

      4.8
      Rating, 4.8 out of 5 stars
      ·
      834 reviews

      Intermediate · Course · 1 - 3 Months

    • C

      CertNexus

      CertNexus Certified Ethical Emerging Technologist

      Skills you'll gain: Crisis Management, Data Ethics, Governance, Business Ethics, Strategic Leadership, Corporate Communications, Media Relations, Strategic Thinking, Communication Strategies, Business Leadership, Accountability, Ethical Standards And Conduct, Emerging Technologies, Organizational Leadership, Public Relations, Risk Management, Operational Risk, Learning Strategies, Test Planning, Productivity

      4.7
      Rating, 4.7 out of 5 stars
      ·
      564 reviews

      Beginner · Professional Certificate · 3 - 6 Months

    • U

      University of Colorado Boulder

      Statistical Modeling for Data Science Applications

      Skills you'll gain: Statistical Inference, Statistical Modeling, Statistical Hypothesis Testing, Regression Analysis, R Programming, Data Ethics, Statistical Methods, Data Analysis, Statistical Analysis, Data Modeling, Predictive Modeling, Probability & Statistics, Advanced Analytics, Correlation Analysis, Forecasting, Data Science, A/B Testing, Machine Learning, Classification And Regression Tree (CART), Linear Algebra

      Build toward a degree

      4.1
      Rating, 4.1 out of 5 stars
      ·
      52 reviews

      Intermediate · Specialization · 3 - 6 Months

    • U

      University of California, Davis

      Introduction to Web Development

      Skills you'll gain: Version Control, Hypertext Markup Language (HTML), GitHub, Git (Version Control System), HTML and CSS, Cascading Style Sheets (CSS), Web Design and Development, Web Development, Web Design, Web Content, Front-End Web Development, Web Servers, Image Analysis, Semantic Web, Cloud Hosting, Browser Compatibility

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

      Beginner · Course · 1 - 4 Weeks

    • J

      Johns Hopkins University

      Simple Regression Analysis in Public Health

      Skills you'll gain: Biostatistics, Regression Analysis, Statistical Methods, Statistical Analysis, Epidemiology, Quantitative Research, Public Health, Data Analysis, Probability & Statistics, Statistical Inference

      4.7
      Rating, 4.7 out of 5 stars
      ·
      382 reviews

      Beginner · Course · 1 - 3 Months

    Searches related to model checking

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

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

    • Finance of Mergers and Acquisitions: Valuation and Pricing: University of Illinois Urbana-Champaign
    • Understanding economic policymaking: IE Business School
    • Entrepreneurship 4: Financing and Profitability: University of Pennsylvania
    • High Stakes Leadership: Leading in Times of Crisis: University of Michigan
    • Create a Project Management Tracker using Microsoft Excel: Coursera Project Network
    • Distributed Programming in Java: Rice University
    • Fundamentos Empresariales: University of Pennsylvania
    • Prediction and Control with Function Approximation: University of Alberta
    • CertNexus Certified Ethical Emerging Technologist: CertNexus
    • Statistical Modeling for Data Science Applications: 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

    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