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

Results for "model checking"


  • N

    New York University

    Introduction to Cyber Security

    Skills you'll gain: Security Engineering, Authentications, Threat Modeling, Network Security, Public Key Infrastructure, Distributed Denial-Of-Service (DDoS) Attacks, Firewall, Cyber Attacks, Cryptography, Infrastructure Security, Cybersecurity, Cyber Security Strategy, Data Encryption Standard, Cyber Risk, Mobile Security, Enterprise Security, Computer Security, Application Security, Threat Detection, Cyber Security Policies

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

    Beginner · Specialization · 3 - 6 Months

  • E

    EDUCBA

    Apply Advanced Photoshop Features for Visual Design

    Skills you'll gain: Adobe Photoshop, Photo Editing, Typography, Color Matching, Graphic and Visual Design, Image Quality, Computer Graphic Techniques, Creative Design, 3D Modeling, Image Analysis, Layout Design, Design Elements And Principles, AI Personalization

    Beginner · Specialization · 3 - 6 Months

  • U

    University of Michigan

    Finding Purpose and Meaning In Life: Living for What Matters Most

    Skills you'll gain: Goal Setting, Self-Awareness, Stress Management, Personal Development, Lifelong Learning, Mindfulness, Mental Health, Decision Making

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

    Beginner · Course · 1 - 4 Weeks

  • G

    Google Cloud

    AI Infrastructure:AI Hypercomputer 简介

    Skills you'll gain: Google Cloud Platform, Model Deployment, Cloud Infrastructure, Application Deployment, Cloud Deployment, Cloud Computing, Infrastructure Architecture, Computer Architecture, Hardware Architecture, Performance Tuning, Artificial Intelligence, Systems Architecture

    Intermediate · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Apply React & React Native Through Real-World Projects

    Skills you'll gain: React Redux, React Native, React.js, Application Development, Scalability, Data Validation, UI Components, Web Applications, Mobile Development, Data Persistence, Business Logic, Application Design, Front-End Web Development, Software Design, Authentications, User Interface (UI), User Experience Design, User Interface and User Experience (UI/UX) Design, User Interface (UI) Design, Node.JS

    Beginner · Specialization · 3 - 6 Months

  • G

    Google Cloud

    Infraestructura de IA: introducción a AI Hypercomputer

    Skills you'll gain: Model Deployment, AI Workflows, Cloud Deployment, Google Cloud Platform, Application Deployment, Cloud Computing, Infrastructure Architecture, Artificial Intelligence, Hardware Architecture, Performance Tuning

    Intermediate · Course · 1 - 4 Weeks

  • I

    IBM

    Build AI Agents using MCP

    Skills you'll gain: AI Security, Responsible AI, Authorization (Computing), JSON, VPN Clients

    4.7
    Rating, 4.7 out of 5 stars
    ·
    20 reviews

    Intermediate · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Analyze and Build Trading Systems Using Market Models

    Skills you'll gain: Financial Trading, Financial Market, Technical Analysis, Derivatives, Statistical Analysis, Market Dynamics, Risk Analysis, Market Analysis, Trend Analysis, Performance Analysis, Probability Distribution, Behavioral Economics, Model Evaluation

    Beginner · Course · 1 - 4 Weeks

  • D

    Duke University

    AI Product Management

    Skills you'll gain: Deep Learning, MLOps (Machine Learning Operations), Responsible AI, Model Evaluation, Data Ethics, Data Management, Project Management Life Cycle, Unsupervised Learning, Human Computer Interaction, User Experience Design, Classification And Regression Tree (CART), Data Quality, Model Deployment, Data Preprocessing, Human Centered Design, Machine Learning, Project Management, Product Management, Product Design, Data Science

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

    Beginner · Specialization · 3 - 6 Months

  • C

    Coursera

    Build Predictive & Supervised Models

    Skills you'll gain: MLOps (Machine Learning Operations), Model Evaluation, Business Metrics, Feature Engineering, Predictive Modeling, Random Forest Algorithm, Supervised Learning, Scikit Learn (Machine Learning Library), Data Preprocessing, Applied Machine Learning, Performance Metric, Regression Analysis, Continuous Monitoring, Statistical Methods, Algorithms

    Intermediate · Course · 1 - 4 Weeks

  • E

    Edureka

    Building Your First AI Agent with LangChain

    Skills you'll gain: Agentic Workflows, AI Orchestration, Tool Calling, Generative AI, Gemini, Artificial Intelligence, Google Gemini, Retrieval-Augmented Generation, Embeddings, Workflow Management, Python Programming, Data Validation

    Beginner · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Analyze Advanced Data Using Minitab Regression Models

    Skills you'll gain: Classification And Regression Tree (CART), Minitab, Decision Tree Learning, Regression Analysis, Predictive Modeling, Statistical Modeling, Business Analytics, Advanced Analytics, Logistic Regression, Data-Driven Decision-Making, Scatter Plots, Plot (Graphics), Model Evaluation, Exploratory Data Analysis, Statistical Analysis, Case Studies, Responsible AI

    Mixed · Course · 1 - 4 Weeks

1…434445…379

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

  • Introduction to Cyber Security: New York University
  • Apply Advanced Photoshop Features for Visual Design: EDUCBA
  • Finding Purpose and Meaning In Life: Living for What Matters Most: University of Michigan
  • AI Infrastructure:AI Hypercomputer 简介: Google Cloud
  • Apply React & React Native Through Real-World Projects: EDUCBA
  • Infraestructura de IA: introducción a AI Hypercomputer: Google Cloud
  • Build AI Agents using MCP: IBM
  • Analyze and Build Trading Systems Using Market Models: EDUCBA
  • AI Product Management: Duke University
  • Build Predictive & Supervised Models: Coursera

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