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

Results for "model checking"


  • H

    HEC Paris

    CAPSTONE: Your Leadership Challenge

    Skills you'll gain: Storytelling, Leadership Development, Trustworthiness, Leadership, Self-Awareness, Relationship Building, Oral Expression, Strategic Leadership, Accountability, Resilience, Personal Development, Organizational Leadership, Verbal Communication Skills, Innovation, Persuasive Communication, Presentations, Collaboration, Forecasting, Analysis, Data-Driven Decision-Making

    ★ 4.7 (79) · Mixed · Course · 1 - 3 Months

    Category: Credit offered
    Credit offered
  • E

    EDUCBA

    Corporate Valuation - DCF and Relative Valuation

    Skills you'll gain: Business Valuation, Financial Modeling, Corporate Finance, Financial Analysis, Equities, Cash Flows, Financial Statement Analysis, Financial Forecasting, Excel Formulas

    ★ 5 (14) · Mixed · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • E

    Edureka

    Generative AI and Prompt Engineering Essentials

    Skills you'll gain: Prompt Engineering, Prompt Patterns, Generative AI, Large Language Modeling, ChatGPT, Generative Model Architectures, Responsible AI, AI Security, OpenAI, AI Workflows, Model Evaluation, Natural Language Processing, Artificial Intelligence, Model Deployment

    ★ 4.5 (10) · Beginner · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • H

    Howard University

    Linear Algebra for Data Science Using Python

    Skills you'll gain: Data Wrangling, Linear Algebra, Regression Analysis, Data Manipulation, Predictive Modeling, Dimensionality Reduction, Data Science, Data Visualization, Mathematical Modeling, Scientific Visualization, Data Preprocessing, NumPy, Predictive Analytics, Statistical Modeling, Mathematical Software, Statistical Methods, Jupyter, Applied Mathematics, Algebra, Python Programming

    ★ 4.3 (33) · Beginner · Specialization · 3 - 6 Months

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • C

    Coursera

    Vision & Audio AI Systems

    Skills you'll gain: Apache Airflow, Model Optimization, Data Validation, Image Analysis, Transfer Learning, Data Preprocessing, Data Integrity, Model Evaluation, Debugging, Computer Vision, PyTorch (Machine Learning Library), Data Pipelines, Feature Engineering, MLOps (Machine Learning Operations), Tensorflow, Model Training, Embeddings, Performance Tuning, Deep Learning, Digital Signal Processing

    Advanced · Specialization · 3 - 6 Months

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • P

    Pearson

    CISA Certified Information Systems Auditor

    Skills you'll gain: Enterprise Risk Management (ERM), IT Management, Business Continuity, Data Security, Business Continuity Planning, Disaster Recovery, Audit Planning, Information Technology, Risk Management, Information Systems Security, Data Validation, Compliance Management, Risk Mitigation, Data Governance, Technology Strategies, Information Assurance, Security Controls, Law, Regulation, and Compliance, Project Risk Management, Auditing

    ★ 4.3 (24) · Intermediate · Specialization · 1 - 3 Months

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • E

    Edureka

    Machine Learning and NLP Basics

    Skills you'll gain: Machine Learning Methods, Tensorflow, Predictive Modeling, Machine Learning, Text Mining, Deep Learning, Machine Learning Algorithms, Natural Language Processing, Applied Machine Learning, Convolutional Neural Networks, Supervised Learning, Model Evaluation, Recurrent Neural Networks (RNNs), Artificial Intelligence, Classification Algorithms, Data Science, Model Training, Artificial Neural Networks, Data Processing, Data Preprocessing

    ★ 3.3 (33) · Beginner · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • U

    University of Michigan

    Introduction to Healthcare Finance

    Skills you'll gain: Mergers & Acquisitions, Capital Budgeting, Price Negotiation, Strategic Decision-Making, Financial Analysis, Return On Investment, Business Valuation, Financial Modeling, Finance, Health Care Administration, Pharmaceuticals, Health Policy, Negotiation, Strategic Thinking, Healthcare Industry Knowledge, Cost Estimation, Corporate Finance, Health Care, Cash Flows, Cash Flow Forecasting

    ★ 4.5 (19) · Intermediate · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • G

    Google Cloud

    Create Image Captioning Models

    Skills you'll gain: Image Analysis, Generative Model Architectures, Model Training, Deep Learning, Model Evaluation

    ★ 4.7 (32) · Advanced · Course · 1 - 4 Weeks

    Category: Credit offered
    Credit offered
  • U

    University of Washington

    Machine Teaching for Autonomous AI

    Skills you'll gain: Decision Intelligence, Data Storytelling, Model Training, Automation, Decision Support Systems, AI Product Strategy, Artificial Intelligence, Machine Learning, Innovation, Algorithms, Analysis

    ★ 4.7 (47) · Beginner · Course · 1 - 4 Weeks

    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • U

    University of Colorado Boulder

    Discrete-Time Markov Chains and Monte Carlo Methods

    Skills you'll gain: Artificial Intelligence, Machine Learning Methods, Generative AI, Machine Learning Algorithms, Mathematical Theory & Analysis

    ★ 4.8 (12) · Intermediate · Course · 1 - 3 Months

    Status: Free Trial
    Free Trial
    Category: Build toward a degree
    Build toward a degree
  • A

    American Museum of Natural History

    Virology and Epidemiology in the Time of COVID-19

    Skills you'll gain: Health Disparities, Social Determinants Of Health, Infectious Diseases, Immunology, Epidemiology, Public Health and Disease Prevention, Socioeconomics, Public Health, Pathology, Microbiology, Medical Science and Research, Mathematical Modeling, Molecular Biology, Taxonomy, Diagnostic Tests, Clinical Trials

    ★ 4.8 (52) · Intermediate · Course · 1 - 3 Months

    Category: Free
    Free
    Category: Credit offered
    Credit offered
1…197198199…425

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

  • CAPSTONE: Your Leadership Challenge: HEC Paris
  • Corporate Valuation - DCF and Relative Valuation: EDUCBA
  • Generative AI and Prompt Engineering Essentials: Edureka
  • Linear Algebra for Data Science Using Python: Howard University
  • Vision & Audio AI Systems: Coursera
  • CISA Certified Information Systems Auditor: Pearson
  • Machine Learning and NLP Basics: Edureka
  • Introduction to Healthcare Finance: University of Michigan
  • Create Image Captioning Models: Google Cloud
  • Machine Teaching for Autonomous AI: University of Washington

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