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

Results for "model checking"


  • Status: Free Trial
    Free Trial
    D

    DeepLearning.AI

    Unsupervised Learning, Recommenders, Reinforcement Learning

    Skills you'll gain: Unsupervised Learning, Data Ethics, Machine Learning, Supervised Learning, Artificial Intelligence, Reinforcement Learning, Artificial Neural Networks, Deep Learning, Anomaly Detection, Dimensionality Reduction, Algorithms

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

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    E

    Eindhoven University of Technology

    Process Mining: Data science in Action

    Skills you'll gain: Business Process, Process Analysis, Process Improvement, Business Process Management, Data Mining, Business Process Modeling, Process Optimization, Data Processing, Operational Analysis, Performance Analysis, Real Time Data, Data-Driven Decision-Making, Data Science, Verification And Validation, Model Evaluation

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

    Intermediate · Course · 1 - 3 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
    U

    University of Illinois Urbana-Champaign

    Business Data Management and Communication

    Skills you'll gain: Data Storytelling, Revenue Recognition, Data Visualization, Data Literacy, Accrual Accounting, Infographics, Cash Flows, Accounting, Data Collection, Data Quality, Business Analytics, Financial Statements, Financial Accounting, Business Analysis, Big Data, Analytics, Asset Management, Data Analysis, Intellectual Property, Network Model

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

    Intermediate · Specialization · 3 - 6 Months

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

    Coursera

    Pixels, Waveforms & Words: Engineering Multimodal AI Systems

    Skills you'll gain: Image Analysis, Transfer Learning, Multimodal Prompts, Model Evaluation, Data Preprocessing, Debugging, Computer Vision, PyTorch (Machine Learning Library), Feature Engineering, Tensorflow, Algorithms, Embeddings, Model Deployment, Real Time Data, Visualization (Computer Graphics), Applied Machine Learning, Ethical Standards And Conduct, Root Cause Analysis, Deep Learning, Systems Design

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    Using Databases with Python

    Skills you'll gain: Database Design, Relational Databases, SQL, Databases, Data Visualization Software, Web Scraping, Data Modeling, Object Oriented Programming (OOP), Data Processing, Geographic Information Systems, Python Programming, Application Programming Interface (API)

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

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Pennsylvania

    Introduction to Corporate Finance

    Skills you'll gain: Return On Investment, Capital Budgeting, Finance, Capital Expenditure, Forecasting, Cash Flow Forecasting, Financial Modeling, Financial Analysis, Cost Benefit Analysis, Financial Management, Financial Acumen, Corporate Finance, Business Valuation, Cash Flows, Risk Analysis, Depreciation, Loans, Working Capital

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

    Mixed · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    G

    Georgia Institute of Technology

    Introduction to User Experience Design

    Skills you'll gain: User Experience Design, Prototyping, User Centered Design, Usability, Requirements Analysis, UI/UX Research, Interaction Design, User Interface (UI) Design, Usability Testing, User Research

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

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of California, Santa Cruz

    Bayesian Statistics

    Skills you'll gain: Bayesian Statistics, Time Series Analysis and Forecasting, Statistical Inference, Statistical Methods, R Programming, Forecasting, Probability & Statistics, Statistical Modeling, Technical Communication, Data Presentation, Probability, Statistics, Statistical Analysis, Statistical Software, Probability Distribution, Data Analysis, Markov Model, Model Evaluation, Mathematical Modeling, Data Science

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

    Intermediate · Specialization · 3 - 6 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, 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: 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
    Status: AI skills
    AI skills
    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, Cloud Infrastructure, Amazon Elastic Compute Cloud, Cloud Security, Cloud Computing Architecture, Serverless Computing, Cloud Storage, Databases, Virtual Networking, General Networking, Containerization

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

    Beginner · Course · 1 - 4 Weeks

1…272829…389

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

  • Unsupervised Learning, Recommenders, Reinforcement Learning: DeepLearning.AI
  • Process Mining: Data science in Action: Eindhoven University of Technology
  • Structuring Machine Learning Projects: DeepLearning.AI
  • Business Data Management and Communication: University of Illinois Urbana-Champaign
  • Pixels, Waveforms & Words: Engineering Multimodal AI Systems: Coursera
  • Using Databases with Python: University of Michigan
  • Introduction to Corporate Finance: University of Pennsylvania
  • Introduction to User Experience Design : Georgia Institute of Technology
  • Bayesian Statistics: University of California, Santa Cruz
  • Probabilistic Graphical Models: Stanford 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