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

Results for "model checking"


  • Status: Free Trial
    Free Trial
    Status: AI skills
    AI skills
    I

    IBM

    IBM AI Product Manager

    Skills you'll gain: Prompt Engineering, Prompt Patterns, AI Product Strategy, Generative AI, New Product Development, Product Management, Product Lifecycle Management, Generative Model Architectures, Product Development, Innovation, ChatGPT, Product Roadmaps, Usability Testing, Product Planning, Responsible AI, Commercialization, Artificial Intelligence, Product Strategy, Project Management Life Cycle, OpenAI

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

    Beginner · Professional Certificate · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    Intro to Generative AI: A Beginner's Primer on Core Concepts

    Skills you'll gain: Responsible AI, LLM Application, Prompt Patterns, Generative Model Architectures, Regulatory Compliance, AI Product Strategy, Organizational Structure, Stakeholder Management, Deep Learning, Natural Language Processing

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

    Intermediate · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    D
    S

    Multiple educators

    Machine Learning

    Skills you'll gain: Unsupervised Learning, Anomaly Detection, Supervised Learning, Classification And Regression Tree (CART), Applied Machine Learning, Machine Learning, Reinforcement Learning, Jupyter, Data Ethics, Decision Tree Learning, Tensorflow, Responsible AI, Scikit Learn (Machine Learning Library), NumPy, Predictive Modeling, Artificial Intelligence and Machine Learning (AI/ML), Random Forest Algorithm, Deep Learning, Feature Engineering, Artificial Intelligence

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

    Beginner · Specialization · 1 - 3 Months

  • Status: Preview
    Preview
    J

    Johns Hopkins University

    Psychological First Aid

    Skills you'll gain: Triage, Crisis Intervention, Active Listening, Rapport Building, Emergency Response, Trauma Care, Psychiatric Assessments, Interpersonal Communications, Personal Care, Mental Health, Stress Management, Patient Referral

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

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    V

    Vanderbilt University

    ChatGPT + Excel: AI-Enhanced Data Analysis & Insight

    Skills you'll gain: Data Storytelling, Prompt Engineering, ChatGPT, Prompt Patterns, Excel Macros, Excel Formulas, Microsoft Excel, LLM Application, Productivity, OpenAI, Data Visualization, Data Analysis, Generative AI, Artificial Intelligence, Data Cleansing, Large Language Modeling, Data Integration, Data Transformation, Data Validation, Artificial Intelligence and Machine Learning (AI/ML)

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

    Beginner · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    S

    Stanford University

    Probabilistic Graphical Models

    Skills you'll gain: Bayesian Network, Applied Machine Learning, Graph Theory, Machine Learning Algorithms, Probability Distribution, Network Model, Statistical Modeling, Markov Model, Decision Support Systems, Machine Learning, Probability & Statistics, Network Analysis, Statistical Inference, Sampling (Statistics), Statistical Methods, Unstructured Data, Natural Language Processing, Algorithms, Computational Thinking, Test Data

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

    Advanced · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    I

    IBM

    Applied Data Science

    Skills you'll gain: Exploratory Data Analysis, Data Wrangling, Dashboard, Data Visualization Software, Plotly, Web Scraping, Data Visualization, Interactive Data Visualization, Data Transformation, Data Analysis, Data Cleansing, Data Manipulation, Matplotlib, Seaborn, Predictive Modeling, Data Science, Data Import/Export, Programming Principles, Python Programming, Machine Learning

    Build toward a degree

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

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    D

    DeepLearning.AI

    Improving Deep Neural Networks: Hyperparameter Tuning, Regularization and Optimization

    Skills you'll gain: Tensorflow, Deep Learning, Performance Tuning, Artificial Intelligence, Artificial Neural Networks, Applied Machine Learning, Machine Learning, Machine Learning Algorithms, Network Architecture, Algorithms, Analysis

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

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    S

    Stanford University

    Probabilistic Graphical Models 1: Representation

    Skills you'll gain: Bayesian Network, Graph Theory, Probability Distribution, Network Model, Statistical Modeling, Markov Model, Decision Support Systems, Probability & Statistics, Network Analysis, Natural Language Processing

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

    Advanced · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    I

    IBM

    Introduction to Data Science

    Skills you'll gain: SQL, Peer Review, Jupyter, Data Literacy, Data Mining, Data Modeling, Data Collection, Business Analysis, Relational Databases, Stored Procedure, Databases, Data Science, Big Data, Computer Programming Tools, Query Languages, Decision Tree Learning, Predictive Modeling, GitHub, Cloud Computing, Python Programming

    Build toward a degree

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

    Beginner · Specialization · 3 - 6 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Foundations of Probability and Statistics

    Skills you'll gain: Probability, Markov Model, Estimation, Probability & Statistics, Probability Distribution, Statistical Methods, Statistical Inference, Bayesian Statistics, Sampling (Statistics), Statistical Analysis, Mathematical Modeling, Statistics, Statistical Modeling, Data Analysis, Data Science, Descriptive Statistics, Machine Learning Algorithms, Artificial Intelligence, Generative AI

    Build toward a degree

    4.4
    Rating, 4.4 out of 5 stars
    ·
    320 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    D

    DeepLearning.AI

    Custom Models, Layers, and Loss Functions with TensorFlow

    Skills you'll gain: Tensorflow, Deep Learning, Keras (Neural Network Library), Artificial Neural Networks, Network Model, Object Oriented Programming (OOP), Computer Vision

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

    Intermediate · Course · 1 - 3 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…161718…256

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

  • IBM AI Product Manager: IBM
  • Intro to Generative AI: A Beginner's Primer on Core Concepts: Google Cloud
  • Machine Learning: DeepLearning.AI
  • Psychological First Aid: Johns Hopkins University
  • ChatGPT + Excel: AI-Enhanced Data Analysis & Insight: Vanderbilt University
  • Probabilistic Graphical Models: Stanford University
  • Applied Data Science: IBM
  • Improving Deep Neural Networks: Hyperparameter Tuning, Regularization and Optimization: DeepLearning.AI
  • Probabilistic Graphical Models 1: Representation: Stanford University
  • Introduction to Data Science: IBM

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