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

Results for "model checking"


  • U

    University of Colorado System

    Requirements Engineering: Secure Software Specifications

    Skills you'll gain: Requirements Elicitation, Software Design Documents, Requirements Analysis, Security Requirements Analysis, Mockups, Interviewing Skills, User Requirements Documents, Data Flow Diagrams (DFDs), Storyboarding, Requirements Management, Functional Requirement, Goal Setting, Software Development Methodologies, Software Documentation, Diagram Design, Agile Methodology, Business Requirements, Unified Modeling Language, Risk Management Framework, System Requirements

    4.5
    Rating, 4.5 out of 5 stars
    ·
    857 reviews

    Beginner · Specialization · 3 - 6 Months

  • U

    University of Colorado Boulder

    Real-Time Embedded Systems Theory and Analysis

    Skills you'll gain: Real-Time Operating Systems, Embedded Systems, System Programming, System Design and Implementation, Software Design, OS Process Management, Linux, Performance Tuning, Theoretical Computer Science, Verification And Validation, Debugging, Algorithms

    4.3
    Rating, 4.3 out of 5 stars
    ·
    20 reviews

    Advanced · Course · 1 - 4 Weeks

  • 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
    ·
    368 reviews

    Intermediate · Course · 1 - 3 Months

  • 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
    ·
    133 reviews

    Intermediate · 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

    MCP - Model Content Protocol

    Skills you'll gain: Model Context Protocol, AI Security, Scalability, Software Architecture, Servers, Interoperability, System Design and Implementation, API Design, Enterprise Security, Real Time Data, Performance Tuning

    Advanced · Course · 1 - 4 Weeks

  • C

    Coursera

    Safeguard LLM Outputs: Test and Evaluate

    Skills you'll gain: AI Security, Responsible AI, LLM Application, Unit Testing, Verification And Validation, API Testing, Test Case, Security Testing, Software Testing, Code Coverage, Large Language Modeling, Model Evaluation, Test Tools, Test Script Development, Prompt Engineering, Threat Modeling, Penetration Testing, Maintainability, Software Technical Review, Quality Assessment

    Intermediate · Course · 1 - 4 Weeks

  • T

    The Chinese University of Hong Kong

    离散优化建模高阶篇 Advanced Modeling for Discrete Optimization

    Skills you'll gain: Mathematical Modeling, Operations Research, Debugging, Traffic Flow Optimization, Computational Logic, Business Logic, Algorithms, Data Validation

    4.3
    Rating, 4.3 out of 5 stars
    ·
    6 reviews

    Intermediate · Course · 1 - 3 Months

  • M

    MathWorks

    Modeling and Simulation with Simulink

    Skills you'll gain: Simulation and Simulation Software, Control Systems, Model Based Systems Engineering, Engineering Design Process, Mathematical Modeling, Engineering Analysis, Systems Analysis, Test Case, Systems Design, Performance Tuning, Automation Engineering, Matlab

    4.8
    Rating, 4.8 out of 5 stars
    ·
    55 reviews

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    AI Model Risk Management

    Skills you'll gain: Governance Risk Management and Compliance, Compliance Management, Responsible AI, Risk Control, Risk Management, AI Security, Business Risk Management, Model Evaluation, Risk Mitigation, Governance, Compliance Auditing, Risk Analysis, Regulatory Requirements, Process Validation, Gap Analysis, Verification And Validation, Auditing, Key Performance Indicators (KPIs)

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Track and Evaluate ML Model Experiments

    Skills you'll gain: MLOps (Machine Learning Operations), Model Evaluation, Version Control, Large Language Modeling, Git (Version Control System), Data Management, Performance Testing, Dashboard, Machine Learning, Scripting, Performance Analysis, Technical Documentation

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Partition & Monitor AI Models Effectively

    Skills you'll gain: MLOps (Machine Learning Operations), Data Integrity, Data Quality, Data Maintenance, System Monitoring, Machine Learning, Artificial Intelligence and Machine Learning (AI/ML), Artificial Intelligence

    Intermediate · Course · 1 - 4 Weeks

Searches related to model checking

temporal logic model checking
1…567…372

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

  • Requirements Engineering: Secure Software Specifications: University of Colorado System
  • Real-Time Embedded Systems Theory and Analysis: University of Colorado Boulder
  • Software Engineering: Modeling Software Systems using UML: The Hong Kong University of Science and Technology
  • Software Engineering: Implementation and Testing: The Hong Kong University of Science and Technology
  • Model Context Protocol (MCP) Mastery: Fractal Analytics
  • MCP - Model Content Protocol: Coursera
  • Safeguard LLM Outputs: Test and Evaluate: Coursera
  • 离散优化建模高阶篇 Advanced Modeling for Discrete Optimization: The Chinese University of Hong Kong
  • Modeling and Simulation with Simulink : MathWorks
  • AI Model Risk Management: 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