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

Results for "model checking"


  • U

    University of Toronto

    Introduction to Psychology

    Skills you'll gain: Psychology, Mental Health Diseases and Disorders, Mental Health Therapies, Human Development, Mental Health, Social Sciences, Scientific Methods, Neurology, Experimentation, Cultural Diversity

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

    Mixed · Course · 1 - 3 Months

  • C

    Coursera

    Nail Regression & Classification

    Skills you'll gain: Model Evaluation, Predictive Modeling, Regression Analysis, Advanced Analytics, Statistical Modeling, Classification Algorithms, Predictive Analytics, Logistic Regression, Data Analysis, Applied Machine Learning, Data-Driven Decision-Making, Business Analysis, Machine Learning Methods, Performance Metric

    Intermediate · Course · 1 - 4 Weeks

  • I

    IBM

    IBM RAG and Agentic AI

    Skills you'll gain: Prompt Engineering, AI Orchestration, AI Workflows, LangChain, Retrieval-Augmented Generation, Agentic Workflows, Tool Calling, LangGraph, LLM Application, Agentic systems, Multimodal Prompts, Model Context Protocol, Generative AI, AI Security, Generative AI Agents, Vector Databases, Generative Model Architectures, OpenAI API, Responsible AI, Software Development

    4.6
    Rating, 4.6 out of 5 stars
    ·
    831 reviews

    Advanced · Professional Certificate · 3 - 6 Months

  • U

    Universitat Autònoma de Barcelona

    Primeros Auxilios Psicológicos (PAP)

    Skills you'll gain: Crisis Intervention, Emergency Response, First Aid, Emergency Services, De-escalation Techniques, Stress Management, Disabilities, Trauma Care, Mental Health, Family Support, Psychology, Cultural Sensitivity, Working With Children, Child Development, Interpersonal Communications, Patient Communication

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

    Beginner · Course · 1 - 3 Months

  • U

    University at Buffalo

    Blockchain Basics

    Skills you'll gain: Blockchain, Cryptography, Transaction Processing, Network Protocols, Encryption, Data Structures, Distributed Computing, Virtual Environment, Data Integrity, Emerging Technologies, Data Validation, Algorithms, Verification And Validation

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

    Beginner · Course · 1 - 4 Weeks

  • I

    IE Business School

    Marketing Mix Implementation

    Skills you'll gain: Product Lifecycle Management, Marketing Communications, Integrated Marketing Communications, Advertising, Marketing, Brand Strategy, Marketing Budgets, Strategic Decision-Making, Brand Management, Brand Marketing, Customer experience strategy (CX), Price Negotiation, Product Management, Marketing Strategies, Retail Management, Marketing Channel, Strategic Marketing, Product Strategy, Merchandising, Communication

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

    Beginner · Specialization · 3 - 6 Months

  • E

    EDUCBA

    Design & Assemble a Multi-Utility Tool in SolidWorks

    Skills you'll gain: SolidWorks (CAD), Computer-Aided Design, Engineering Design Process, 3D Modeling, Mechanical Design, Functional Design, Assembly Drawing, Model Evaluation, Design Elements And Principles

    Beginner · Course · 1 - 4 Weeks

  • S

    SkillUp

    Advanced Healthcare Analytics

    Skills you'll gain: Clinical Documentation, Health Informatics, AI Security, Predictive Modeling, Machine Learning Methods, Artificial Intelligence and Machine Learning (AI/ML), LLM Application, Medical Privacy, Large Language Modeling, ChatGPT, Logistic Regression, Computer Vision

    Intermediate · Course · 1 - 4 Weeks

  • U

    University of Pennsylvania

    Business and Financial Modeling

    Skills you'll gain: Risk Management, Business Modeling, Mathematical Modeling, Data-Driven Decision-Making, Portfolio Management, Forecasting, Regression Analysis, Financial Modeling, Statistical Modeling, Risk Analysis, Predictive Modeling, Presentations, Spreadsheet Software, Microsoft PowerPoint, Investment Management, Financial Statements, Data Modeling, Quantitative Research, Business Analytics, Microsoft Excel

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

    Beginner · Specialization · 3 - 6 Months

  • 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

  • T

    The Hong Kong University of Science and Technology

    Python and Statistics for Financial Analysis

    Skills you'll gain: Statistical Inference, Pandas (Python Package), Probability & Statistics, Risk Analysis, Financial Trading, Financial Data, Data Manipulation, Statistical Analysis, Regression Analysis, Financial Analysis, Jupyter, Financial Modeling, Python Programming, Model Evaluation, Data Visualization, Data Import/Export

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

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Secure AI Interpret and Protect Models

    Skills you'll gain: AI Security, Threat Modeling, Security Engineering, Security Testing, Hardening, Security Controls, Security Strategy, Penetration Testing, Data Validation, Model Evaluation, Information Privacy, Generative Adversarial Networks (GANs), Analysis, Design

    Intermediate · Course · 1 - 4 Weeks

1…252627…383

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

  • Introduction to Psychology: University of Toronto
  • Nail Regression & Classification: Coursera
  • IBM RAG and Agentic AI: IBM
  • Primeros Auxilios Psicológicos (PAP): Universitat Autònoma de Barcelona
  • Blockchain Basics: University at Buffalo
  • Marketing Mix Implementation: IE Business School
  • Design & Assemble a Multi-Utility Tool in SolidWorks: EDUCBA
  • Advanced Healthcare Analytics: SkillUp
  • Business and Financial Modeling: University of Pennsylvania
  • Bayesian Statistics: University of California, Santa Cruz

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