• For Individuals
  • For Businesses
  • For Universities
  • For Governments
Degrees
Log In
Join for Free
  • Browse
  • Model Checking

Results for "model checking"


  • Status: Free
    Free
    T

    The Chinese University of Hong Kong

    Structural Equation Model and its Applications | 结构方程模型及其应用 (普通话)

    Skills you'll gain: Statistical Analysis, SPSS, Statistical Modeling, Statistical Software, Correlation Analysis, Statistical Methods, Regression Analysis, Mathematical Modeling, Data Analysis Software, Analysis, Advanced Analytics, Research Methodologies, Data Analysis

    4.8
    Rating, 4.8 out of 5 stars
    ·
    94 reviews

    Mixed · Course · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    G

    Google

    The Bits and Bytes of Computer Networking

    Skills you'll gain: Computer Networking, Network Troubleshooting, TCP/IP, Network Architecture, Network Protocols, OSI Models, Network Routing, Network Infrastructure, Dynamic Host Configuration Protocol (DHCP), Virtual Private Networks (VPN), Network Security, Wireless Networks, Network Model, Data Integrity

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

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    Status: AI skills
    AI skills
    G

    Google

    Google Data Analytics

    Skills you'll gain: Data Storytelling, Rmarkdown, Data Visualization, Data Presentation, Data Ethics, Data Cleansing, Ggplot2, R (Software), Data Validation, Tableau Software, Sampling (Statistics), Presentations, Spreadsheet Software, Data Analysis, LinkedIn, Dashboard, Data Structures, Python Programming, Interviewing Skills, Professional Development

    Build toward a degree

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

    Beginner · Professional Certificate · 3 - 6 Months

  • Status: Preview
    Preview
    S

    Stanford University

    Game Theory

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

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

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    M

    Macquarie University

    Excel Skills for Business

    Skills you'll gain: Microsoft Excel, Dashboard, Excel Formulas, Spreadsheet Software, Data Visualization, Excel Macros, Data Validation, Data Cleansing, Data Analysis Expressions (DAX), Data Modeling, Financial Forecasting, Data Management, Business Intelligence Software, Consolidation, Data Integrity, Data Entry, Business Reporting, Productivity Software, Financial Modeling, Loans

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

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    Python for Everybody

    Skills you'll gain: Data Processing, Web Scraping, Data Store, Relational Databases, Data Visualization, Database Design, SQL, Restful API, Databases, Web Services, JSON, Interactive Data Visualization, Extensible Markup Language (XML), Data Structures, Data Modeling, Programming Principles, Database Management, Data Analysis, Python Programming, Computer Programming

    Build toward a degree

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

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    G

    Google

    Analyze Data to Answer Questions

    Skills you'll gain: Data Validation, Spreadsheet Software, Excel Formulas, SQL, Data Analysis, Analytics, Data Manipulation, Pivot Tables And Charts, Data Integration, Data Transformation, User Feedback

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

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    M

    Macquarie University

    Excel Skills for Business: Intermediate II

    Skills you'll gain: Excel Formulas, Microsoft Excel, Excel Macros, Data Validation, Spreadsheet Software, Data Modeling, Financial Forecasting, Data Integrity, Business Modeling, Automation

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

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    I

    IBM

    IBM AI Engineering

    Skills you'll gain: Prompt Engineering, Apache Spark, Large Language Modeling, PyTorch (Machine Learning Library), Unsupervised Learning, Generative AI, PySpark, Computer Vision, Keras (Neural Network Library), Supervised Learning, Deep Learning, Reinforcement Learning, Regression Analysis, LLM Application, Scikit Learn (Machine Learning Library), Jupyter, Applied Machine Learning, Machine Learning, Python Programming, Data Science

    Build toward a degree

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

    Intermediate · Professional Certificate · 3 - 6 Months

  • D

    DeepLearning.AI

    Machine Learning in Production

    Skills you'll gain: MLOps (Machine Learning Operations), Application Deployment, Continuous Deployment, Software Development Life Cycle, Machine Learning, Applied Machine Learning, Data Validation, Feature Engineering, Data Quality, Continuous Monitoring, Data Pipelines

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

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    Y

    Yale University

    Introduction to Psychology

    Skills you'll gain: Psychology, Child Development, Psychiatry, Mental Health, Human Development, Human Learning, Social Sciences, Behavioral Health, Sociology, Neurology, Critical Thinking, Scientific Methods, Problem Solving

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

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    D

    DeepLearning.AI

    TensorFlow: Advanced Techniques

    Skills you'll gain: Generative AI, Tensorflow, Computer Vision, Image Analysis, Generative Model Architectures, Deep Learning, Keras (Neural Network Library), Artificial Neural Networks, Distributed Computing, Unsupervised Learning, Network Model, Visualization (Computer Graphics), Performance Tuning, NumPy, Object Oriented Programming (OOP), Heat Maps, Network Architecture

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

    Intermediate · Specialization · 3 - 6 Months

Searches related to model checking

model checking with sat and smt
quantitative model checking
automated reasoning: symbolic model checking
temporal logic model checking
1…151617…256

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

  • Structural Equation Model and its Applications | 结构方程模型及其应用 (普通话): The Chinese University of Hong Kong
  • The Bits and Bytes of Computer Networking: Google
  • Google Data Analytics: Google
  • Game Theory: Stanford University
  • Excel Skills for Business: Macquarie University
  • Python for Everybody: University of Michigan
  • Analyze Data to Answer Questions: Google
  • Excel Skills for Business: Intermediate II: Macquarie University
  • IBM AI Engineering: IBM
  • Machine Learning in Production: 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

Skills

  • Artificial Intelligence (AI)
  • Cybersecurity
  • Data Analytics
  • Digital Marketing
  • English Speaking
  • Generative AI (GenAI)
  • Microsoft Excel
  • Microsoft Power BI
  • Project Management
  • Python

Certificates & Programs

  • Google Cybersecurity Certificate
  • Google Data Analytics Certificate
  • Google IT Support Certificate
  • Google Project Management Certificate
  • Google UX Design Certificate
  • IBM Data Analyst Certificate
  • IBM Data Science Certificate
  • Machine Learning Certificate
  • Microsoft Power BI Data Analyst Certificate
  • UI / UX Design Certificate

Industries & Careers

  • Business
  • Computer Science
  • Data Science
  • Education & Teaching
  • Engineering
  • Finance
  • Healthcare
  • Human Resources (HR)
  • Information Technology (IT)
  • Marketing

Career Resources

  • Career Aptitude Test
  • Examples of Strengths and Weaknesses for Job Interviews
  • High-Income Skills to Learn
  • How Does Cryptocurrency Work?
  • How to Highlight Duplicates in Google Sheets
  • How to Learn Artificial Intelligence
  • Popular Cybersecurity Certifications
  • Preparing for the PMP Certification
  • Signs You Will Get the Job After an Interview
  • What Is Artificial Intelligence?

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
  • Share your Coursera learning story

Community

  • Learners
  • Partners
  • Beta Testers
  • Blog
  • The Coursera Podcast
  • Tech Blog

More

  • Press
  • Investors
  • Terms
  • Privacy
  • Help
  • Accessibility
  • Contact
  • Articles
  • Directory
  • Affiliates
  • Modern Slavery Statement
  • Do Not Sell/Share
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