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

Results for "model checking"


  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Building and Optimizing AI Models

    Skills you'll gain: Feature Engineering, Applied Machine Learning, Machine Learning Methods, Machine Learning Algorithms, Deep Learning, Supervised Learning, Transfer Learning, Model Evaluation, Data Structures, Predictive Modeling, Artificial Intelligence and Machine Learning (AI/ML), Algorithms, Tensorflow, Keras (Neural Network Library), Machine Learning, Artificial Neural Networks, Performance Tuning, Convolutional Neural Networks, Unsupervised Learning, Programming Principles

    Intermediate · Course · 1 - 3 Months

  • 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.5K reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    Python 3 Programming

    Skills you'll gain: Unified Modeling Language, JSON, Object Oriented Programming (OOP), File I/O, Software Design, Debugging, Object Oriented Design, Data Processing, Web Scraping, Unit Testing, Programming Principles, Program Development, Python Programming, Data Import/Export, Restful API, Image Analysis, Data Manipulation, Jupyter, Computer Programming, Data Structures

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

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    D

    DeepLearning.AI

    Structuring Machine Learning Projects

    Skills you'll gain: Transfer Learning, Deep Learning, Applied Machine Learning, Machine Learning, MLOps (Machine Learning Operations), Debugging, AI Product Strategy, Model Evaluation, Data-Driven Decision-Making, Performance Tuning

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

    Beginner · Course · 1 - 4 Weeks

  • 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, Bayesian Statistics, Statistical Modeling, Markov Model, Decision Support Systems, Machine Learning, Probability & Statistics, Network Analysis, Machine Learning Methods, Statistical Inference, Sampling (Statistics), Statistical Methods, Algorithms, Model Evaluation, Computational Thinking

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

    Advanced · Specialization · 3 - 6 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Building Vision and NLP Workflows with TensorFlow pipelines

    Skills you'll gain: Model Evaluation, Computer Vision, Vision Transformer (ViT), Tensorflow, Keras (Neural Network Library), Embeddings, Deep Learning, Natural Language Processing, Model Deployment, Transfer Learning, Data Pipelines, Risk Modeling, Performance Tuning

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    M

    Macquarie University

    Excel Fundamentals for Data Analysis

    Skills you'll gain: Excel Formulas, Microsoft Excel, Data Cleansing, Data Manipulation, Data Preprocessing, Spreadsheet Software, Data Transformation, Data Validation, Data Analysis, Pivot Tables And Charts, Automation

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

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Washington

    Machine Learning

    Skills you'll gain: Model Evaluation, Classification Algorithms, Regression Analysis, Applied Machine Learning, Feature Engineering, Machine Learning, Image Analysis, Unsupervised Learning, Predictive Modeling, Supervised Learning, Bayesian Statistics, Logistic Regression, Statistical Modeling, Artificial Intelligence, Data Preprocessing, Deep Learning, Data Mining, Decision Tree Learning, Computer Vision, Statistical Machine Learning

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

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    R

    Rice University

    Business Statistics and Analysis

    Skills you'll gain: Statistical Hypothesis Testing, Microsoft Excel, Statistical Methods, Pivot Tables And Charts, Regression Analysis, Statistics, Descriptive Statistics, Probability & Statistics, Graphing, Spreadsheet Software, Probability Distribution, Business Analytics, Statistical Modeling, Statistical Analysis, Statistical Inference, Excel Formulas, Data Analysis, Data Presentation, Model Evaluation, Sample Size Determination

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

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    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, Analysis, Statistical Analysis, Mathematical Modeling, Process Optimization, Financial Analysis, Statistical Methods, Predictive Analytics, Transportation Operations, Complex Problem Solving, Linear Algebra

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

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    S

    Stanford University

    Game Theory

    Skills you'll gain: Game Theory, Mathematical Modeling, Graph Theory, Bayesian Statistics, Behavioral Economics, Probability, Economics, Problem Solving, Algorithms, Probability Distribution

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

    Beginner · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Machine Learning Made Easy for Software Engineers

    Skills you'll gain: Model Evaluation, Model Deployment, Data Preprocessing, MLOps (Machine Learning Operations), Data Cleansing, Microservices, Data Pipelines, Feature Engineering, Data Quality, Data Validation, Containerization, Application Deployment, Service Level, Extract, Transform, Load, Data Transformation, System Monitoring, Debugging, Machine Learning Methods, Performance Tuning, Machine Learning Algorithms

    Intermediate · Specialization · 3 - 6 Months

1…282930…389

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

  • Building and Optimizing AI Models : Coursera
  • Excel Skills for Business: Intermediate II: Macquarie University
  • Python 3 Programming: University of Michigan
  • Structuring Machine Learning Projects: DeepLearning.AI
  • Probabilistic Graphical Models: Stanford University
  • Building Vision and NLP Workflows with TensorFlow pipelines: Coursera
  • Excel Fundamentals for Data Analysis: Macquarie University
  • Machine Learning: University of Washington
  • Business Statistics and Analysis: Rice University
  • Business Analytics with Excel: Elementary to Advanced: Johns Hopkins University

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

  • Accounting
  • Artificial Intelligence (AI)
  • Cybersecurity
  • Data Analytics
  • Digital Marketing
  • Human Resources (HR)
  • Microsoft Excel
  • Project Management
  • Python
  • SQL

Professional Certificates

  • Google AI Certificate
  • Google Cybersecurity Certificate
  • Google Data Analytics Certificate
  • Google IT Support Certificate
  • Google Project Management Certificate
  • Google UX Design Certificate
  • IBM AI Engineering Certificate
  • IBM AI Product Manager Certificate
  • IBM Data Science Certificate
  • Intuit Academy Bookkeeping Certificate

Courses & Specializations

  • AI Essentials Specialization
  • AI For Business Specialization
  • AI For Everyone Course
  • AI in Healthcare Specialization
  • Deep Learning Specialization
  • Excel Skills for Business Specialization
  • Financial Markets Course
  • Machine Learning Specialization
  • Prompt Engineering for ChatGPT Course
  • Python for Everybody Specialization

Career Resources

  • Career Aptitude Test
  • CAPM Certification Requirements
  • CompTIA A+ Certification Requirements
  • CompTIA Security+ Certification Requirements
  • Essential IT Certifications
  • Free IT Certifications and Courses
  • High-Income Skills to Learn
  • How to Learn Artificial Intelligence
  • PMP Certification Requirements
  • Popular Cybersecurity Certifications

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
© 2026 Coursera Inc. All rights reserved.
  • Coursera Facebook
  • Coursera Linkedin
  • Coursera Twitter
  • Coursera YouTube
  • Coursera Instagram
  • Coursera TikTok