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

Results for "model checking"


  • T

    The Hong Kong University of Science and Technology

    Software Engineering: Modeling Software Systems using UML

    Skills you'll gain: Requirements Analysis, Unified Modeling Language, Object Oriented Design, Functional Requirement, Data Modeling, Object Oriented Programming (OOP), Systems Development Life Cycle, System Requirements, Diagram Design, Software Development, Software Engineering, Software Systems, Model Evaluation, Project Planning, Project Management

    4.6
    Rating, 4.6 out of 5 stars
    ·
    371 reviews

    Intermediate · Course · 1 - 3 Months

  • U

    University of California, Santa Cruz

    AI Agent Architecture with the Model Context Protocol

    Skills you'll gain: Retrieval-Augmented Generation, Model Context Protocol, Model Deployment, Generative AI Agents, AI Orchestration, Tool Calling, Context Management, Prompt Engineering, Enterprise Architecture, Model Evaluation, Embeddings, Vector Databases

    Beginner · Course · 1 - 3 Months

  • F

    Fractal Analytics

    Model Context Protocol (MCP) Mastery

    Skills you'll gain: Model Context Protocol, AI Security, Threat Modeling, AI Workflows, Secure Coding, LLM Application, Enterprise Architecture, Generative AI Agents, Security Controls, Interoperability, Agentic systems, Generative AI

    4.5
    Rating, 4.5 out of 5 stars
    ·
    55 reviews

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Automate, Optimize, and Monitor ML Models

    Skills you'll gain: Verification And Validation, Data Pipelines

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    AI Model Development & Deployment

    Skills you'll gain: Model Deployment, MLOps (Machine Learning Operations), AWS SageMaker, Software Documentation, Data Pipelines, Tensorflow, Model Evaluation, Apache Airflow, Systems Design, Cloud Computing Architecture, Transfer Learning, Unit Testing, Cloud Deployment, PyTorch (Machine Learning Library), API Design, Cloud Computing, Network Architecture, Deep Learning, Python Programming, Data Validation

    Intermediate · Specialization · 1 - 3 Months

  • M

    MathWorks

    Modeling and Simulation with Simulink

    Skills you'll gain: Simulation and Simulation Software, Control Systems, Mathematical Modeling, Engineering Analysis, Data Import/Export, Systems Engineering, Performance Tuning, Electronics Engineering

    4.8
    Rating, 4.8 out of 5 stars
    ·
    56 reviews

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    Validating and Safeguarding Production AI

    Skills you'll gain: Anomaly Detection, MLOps (Machine Learning Operations), AI Security, Software Engineering, DevOps, CI/CD, Model Deployment, Performance Tuning, Model Evaluation, Secure Coding, Continuous Monitoring, Integration Testing, Sampling (Statistics), Data Validation, Statistical Methods, Python Programming

    Intermediate · Course · 1 - 3 Months

  • V

    Vanderbilt University

    Model Context Protocol for Leaders: Generative AI Agents

    Skills you'll gain: Model Context Protocol, Generative AI Agents, AI Enablement, Email Automation, Business Process Automation, Generative AI, AI Product Strategy, Agentic systems, Initiative and Leadership, Tool Calling, Anthropic Claude, ChatGPT, Automation, Responsible AI, Marketing Automation, Business Solutions, Multimodal Prompts, Artificial Intelligence and Machine Learning (AI/ML), Prompt Engineering, IT Automation

    4.3
    Rating, 4.3 out of 5 stars
    ·
    25 reviews

    Beginner · Course · 1 - 4 Weeks

  • T

    The Hong Kong University of Science and Technology

    Software Engineering: Implementation and Testing

    Skills you'll gain: White-Box Testing, Acceptance Testing, Software Development Methodologies, Configuration Management, Debugging, Software Development Life Cycle, Software Testing, Software Development, Software Engineering, Unified Modeling Language, System Testing, Integration Testing, User Acceptance Testing (UAT), Unit Testing, Secure Coding, Test Case, Requirements Analysis, Waterfall Methodology, Agile Methodology, Project Management

    4.6
    Rating, 4.6 out of 5 stars
    ·
    134 reviews

    Intermediate · Course · 1 - 3 Months

  • C

    Coursera

    API Development and Model Serving

    Skills you'll gain: Model Context Protocol, Load Balancing, Containerization, Docker (Software), Model Deployment, Restful API, API Design, Application Programming Interface (API), Authentications, OAuth, Tool Calling, Scalability, JSON, Servers, Application Performance Management

    Intermediate · Course · 1 - 4 Weeks

  • G

    Google Cloud

    Transformer Models and BERT Model

    Skills you'll gain: Large Language Modeling, Natural Language Processing, Generative Model Architectures, Transfer Learning, Embeddings

    4.1
    Rating, 4.1 out of 5 stars
    ·
    125 reviews

    Advanced · Course · 1 - 4 Weeks

  • C

    Coursera

    Deconstruct AI: Complex ML Problems

    Skills you'll gain: MLOps (Machine Learning Operations), Computational Thinking, Data Processing, Solution Design, Process Mapping, Data Pipelines

    Intermediate · Course · 1 - 4 Weeks

1234…377

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

  • Software Engineering: Modeling Software Systems using UML: The Hong Kong University of Science and Technology
  • AI Agent Architecture with the Model Context Protocol: University of California, Santa Cruz
  • Model Context Protocol (MCP) Mastery: Fractal Analytics
  • Automate, Optimize, and Monitor ML Models: Coursera
  • AI Model Development & Deployment: Coursera
  • Modeling and Simulation with Simulink : MathWorks
  • Validating and Safeguarding Production AI: Coursera
  • Model Context Protocol for Leaders: Generative AI Agents: Vanderbilt University
  • Software Engineering: Implementation and Testing: The Hong Kong University of Science and Technology
  • API Development and Model Serving: 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