• 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

      Excel/VBA for Creative Problem Solving

      Skills you'll gain: Excel Macros, Peer Review, Visual Basic (Programming Language), Programming Principles, Data Import/Export, Microsoft Excel, Data Structures, Program Development, Computer Programming, Project Design, Simulations, Automation, Spreadsheet Software, Algorithms, UI Components, Debugging, Data Management, User Interface (UI), Data Cleansing, Data Validation

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

      Beginner · Specialization · 3 - 6 Months

    • Status: Free
      Free
      E

      Erasmus University Rotterdam

      Econometrics: Methods and Applications

      Skills you'll gain: Econometrics, Time Series Analysis and Forecasting, Regression Analysis, Data Analysis, Statistical Analysis, Quantitative Research, Statistical Modeling, Statistics, Predictive Analytics, Probability, Linear Algebra, Peer Review

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

      Mixed · Course · 1 - 3 Months

    • U

      University of California San Diego

      Introduction to Big Data

      Skills you'll gain: Big Data, Apache Hadoop, Scalability, Data Processing, Data Science, Distributed Computing, Unstructured Data, Data Analysis, Real Time Data, Data Storage

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

      Mixed · Course · 1 - 3 Months

    • U

      University of Maryland, College Park

      Entrepreneurship: Launching an Innovative Business

      Skills you'll gain: Customer Analysis, Commercialization, Business Modeling, Strategic Decision-Making, Innovation, Entrepreneurship, Entrepreneurial Finance, Market Opportunities, Business Planning, New Product Development, Sales Pipelines, Sales Strategy, Ideation, Sales Presentation, Product Development, Team Building, Business Strategies, Design Thinking, Capital Markets, Finance

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

      Beginner · Specialization · 3 - 6 Months

    • R

      Rice University

      Finance for Non-Finance Professionals

      Skills you'll gain: Capital Budgeting, Cash Flows, Financial Analysis, Finance, Business Valuation, Return On Investment, Financial Management, Corporate Finance, Financial Modeling, Investments, Financial Statements, Risk Analysis, Equities

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

      Beginner · Course · 1 - 3 Months

    • G
      N
      G
      N

      Multiple educators

      Machine Learning for Trading

      Skills you'll gain: Tensorflow, Keras (Neural Network Library), Machine Learning, Google Cloud Platform, Applied Machine Learning, Financial Trading, Reinforcement Learning, Supervised Learning, Data Pipelines, Time Series Analysis and Forecasting, Statistical Machine Learning, Technical Analysis, Deep Learning, Portfolio Management, Machine Learning Methods, Artificial Neural Networks, Market Trend, Securities Trading, Artificial Intelligence and Machine Learning (AI/ML), Financial Market

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

      Intermediate · Specialization · 1 - 3 Months

    • G

      Google Cloud

      Creating Business Value with Data and Looker

      Skills you'll gain: Looker (Software), Dashboard, Data Governance, Digital Transformation, Real Time Data, Google Cloud Platform, Data Modeling, Data Management, Data Warehousing, Data Visualization Software, Data Analysis, Data Sharing, Big Data, Cloud Storage, Analytics, Business Intelligence, Data Presentation, Data Processing, Database Design, Performance Tuning

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

      Intermediate · Specialization · 3 - 6 Months

    • Status: Free
      Free
      U

      University of Pennsylvania

      Microeconomics: The Power of Markets

      Skills you'll gain: Supply And Demand, Economics, Market Dynamics, Market Analysis, Resource Allocation, Policy Analysis, Tax, Consumer Behaviour, Decision Making

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

      Mixed · Course · 1 - 3 Months

    • Status: Free
      Free
      W

      Wesleyan University

      Schizophrenia

      Skills you'll gain: Psychiatry, Clinical Psychology, Mental Health Diseases and Disorders, Pharmacology, Psychotherapy, Psychology, Mental and Behavioral Health, Mental Health, Patient Evaluation, Neurology, Scientific Methods, Magnetic Resonance Imaging, Research Methodologies, Medical Imaging

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

      Intermediate · Course · 1 - 3 Months

    • D

      DeepLearning.AI

      Natural Language Processing with Probabilistic Models

      Skills you'll gain: Natural Language Processing, Markov Model, Text Mining, Artificial Intelligence and Machine Learning (AI/ML), Artificial Neural Networks, Machine Learning Methods, Data Processing, Algorithms, Data Cleansing, Probability & Statistics

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

      Intermediate · Course · 1 - 4 Weeks

    • U

      University of Illinois Urbana-Champaign

      3D Printing and Additive Manufacturing

      Skills you'll gain: 3D Modeling, Design Software, Design Thinking, Intellectual Property, Hardware Troubleshooting, Visualization (Computer Graphics), Computer Hardware, Hardware Design, Augmented and Virtual Reality (AR/VR), Manufacturing Processes, Emerging Technologies, Digital Design, Technical Design, Manufacturing and Production, Mechanical Design, Computer Graphics, Graphical Tools, Control Systems, Innovation, Industrial Design

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

      Beginner · Specialization · 3 - 6 Months

    • Status: Free
      Free
      N

      National Taiwan University

      BIM Fundamentals for Engineers

      Skills you'll gain: Building Information Modeling, Engineering Documentation, Data Modeling, 3D Modeling, Computer-Aided Design, Construction, Information Management

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

      Beginner · Course · 1 - 3 Months

    Searches related to model checking

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

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

    • Excel/VBA for Creative Problem Solving: University of Colorado Boulder
    • Econometrics: Methods and Applications: Erasmus University Rotterdam
    • Introduction to Big Data: University of California San Diego
    • Entrepreneurship: Launching an Innovative Business: University of Maryland, College Park
    • Finance for Non-Finance Professionals: Rice University
    • Machine Learning for Trading: Google Cloud
    • Creating Business Value with Data and Looker: Google Cloud
    • Microeconomics: The Power of Markets: University of Pennsylvania
    • Schizophrenia: Wesleyan University
    • Natural Language Processing with Probabilistic Models: 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