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

    • G

      Google

      Process Data from Dirty to Clean

      Skills you'll gain: Data Cleansing, Sampling (Statistics), Data Integrity, Data Quality, Data Validation, Sample Size Determination, Data Analysis, Data Manipulation, SQL, Data Transformation, Spreadsheet Software

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

      Beginner · Course · 1 - 3 Months

    • 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

    • I

      IESE Business School

      Think like a CFO

      Skills you'll gain: Financial Statement Analysis, Financial Statements, Income Statement, Corporate Finance, Accounting, Cash Flows, Operational Analysis, Financial Accounting, Capital Budgeting, Financial Modeling, Financial Reporting, Financial Analysis, Balance Sheet, Financial Management, Generally Accepted Accounting Principles (GAAP), Operating Expense, Financial Market, Profit and Loss (P&L) Management, Business Valuation, Equities

      4.8
      Rating, 4.8 out of 5 stars
      ·
      6.2K 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 Visualization, Solution Architecture, Software Systems, Software Development, Software Documentation, Service Oriented Architecture, Software Design Patterns, Enterprise Architecture, Software Technical Review, Maintainability, Application Deployment, Scalability

      4.5
      Rating, 4.5 out of 5 stars
      ·
      923 reviews

      Intermediate · Course · 1 - 4 Weeks

    • Status: Free
      Free
      S

      Stanford University

      Game Theory

      Skills you'll gain: Game Theory, Strategic Decision-Making, Mathematical Modeling, Graph Theory, Bayesian Statistics, Behavioral Economics, Probability, Economics, Markov Model, Algorithms

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

      Beginner · Course · 1 - 3 Months

    • G

      Google Cloud

      Getting started with Google Workspace

      Skills you'll gain: Google Docs, Gmail, Google Sheets, Google Workspace, Presentations, Calendar Management, Spreadsheet Software, File Management, Excel Formulas, Email Security, Data Visualization, Productivity Software, Collaborative Software, Excel Macros, Data Validation, Document Management, Setting Appointments, Meeting Facilitation, Sales Presentations, Version Control

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

      Beginner · Specialization · 3 - 6 Months

    • Status: Free
      Free
      C

      Coursera Project Network

      Portfolio Optimization using Markowitz Model

      Skills you'll gain: Portfolio Management, Finance, Financial Modeling, Correlation Analysis, Investment Management, Risk Modeling, Equities, Probability & Statistics

      4.4
      Rating, 4.4 out of 5 stars
      ·
      318 reviews

      Intermediate · Guided Project · Less Than 2 Hours

    • D

      Duke University

      Excel to MySQL: Analytic Techniques for Business

      Skills you'll gain: Data Storytelling, Database Design, Dashboard, MySQL, Relational Databases, SQL, Tableau Software, Business Analytics, Business Metrics, Data Visualization Software, Analytics, Data Visualization, Business Process Improvement, Business Intelligence, Financial Modeling, Microsoft Excel, Business Process, Probability Distribution, Business Risk Management, Predictive Modeling

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

      Beginner · Specialization · 3 - 6 Months

    • Status: Free
      Free
      J

      Johns Hopkins University

      Business Analytics with Excel: Elementary to Advanced

      Skills you'll gain: Risk Modeling, Operations Research, Regression Analysis, Microsoft Excel, Business Analytics, Risk Analysis, Business Process Modeling, Business Modeling, Data Modeling, Resource Allocation, Statistical Analysis, Process Optimization, Financial Analysis, Predictive Analytics, Transportation Operations, Complex Problem Solving, Linear Algebra

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

      Intermediate · Course · 1 - 3 Months

    • Status: AI skills
      AI skills
      M

      Meta

      Meta Marketing Analytics

      Skills you'll gain: Data Storytelling, Business Metrics, Key Performance Indicators (KPIs), Marketing Analytics, Bayesian Statistics, Descriptive Statistics, Marketing Effectiveness, Statistical Hypothesis Testing, Target Audience, Marketing Strategies, Data Cleansing, Pandas (Python Package), Data Modeling, Data Analysis, Data Visualization Software, Spreadsheet Software, A/B Testing, Data Collection, Marketing, Interviewing Skills

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

      Beginner · Professional Certificate · 3 - 6 Months

    • 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

    • D

      DeepLearning.AI

      Advanced Learning Algorithms

      Skills you'll gain: Classification And Regression Tree (CART), Machine Learning Algorithms, Machine Learning, Applied Machine Learning, Data Ethics, Decision Tree Learning, Tensorflow, Artificial Intelligence, Supervised Learning, Deep Learning, Random Forest Algorithm, Artificial Neural Networks, Performance Tuning

      4.9
      Rating, 4.9 out of 5 stars
      ·
      7.8K reviews

      Beginner · Course · 1 - 4 Weeks

    Searches related to model checking

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

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

    • Process Data from Dirty to Clean: Google
    • AWS Cloud Technical Essentials: Amazon Web Services
    • Think like a CFO: IESE Business School
    • Software Architecture: University of Alberta
    • Game Theory: Stanford University
    • Getting started with Google Workspace: Google Cloud
    • Portfolio Optimization using Markowitz Model: Coursera Project Network
    • Excel to MySQL: Analytic Techniques for Business: Duke University
    • Business Analytics with Excel: Elementary to Advanced: Johns Hopkins University
    • Meta Marketing Analytics: Meta

    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