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

Results for "model checking"


  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Calculus through Data & Modeling: Precalculus Review

    Skills you'll gain: Data Modeling, Graphing, Mathematical Modeling, Algebra, Trigonometry, Linear Algebra, Calculus, Mathematical Software, Applied Mathematics, Geometry

    4.8
    Rating, 4.8 out of 5 stars
    ·
    118 reviews

    Beginner · Course · 1 - 3 Months

  • Status: New
    New
    G

    Google Cloud

    Model Armor:保護您部署的 AI 應用程式

    Skills you'll gain: LLM Application, Open Web Application Security Project (OWASP), Large Language Modeling, Application Security, Prompt Engineering, Security Controls, Application Programming Interface (API), Integration Testing, Configuration Management, Program Development

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    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, Software Development, Software Engineering, Software Systems, Project Planning, Project Management

    4.6
    Rating, 4.6 out of 5 stars
    ·
    347 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    Università di Napoli Federico II

    Modelling and simulation of mechanical systems

    Skills you'll gain: Simulation and Simulation Software, Mechanical Design, Model Based Systems Engineering, Mechanical Engineering, Control Systems, Computer Vision, Laboratory Experience, Equipment Design, Matlab, Vibrations, Hydraulics, Automation, Real Time Data

    4.4
    Rating, 4.4 out of 5 stars
    ·
    25 reviews

    Intermediate · Course · 1 - 4 Weeks

  • E

    EIT Digital

    System Validation: Automata and behavioural equivalences

    Skills you'll gain: Verification And Validation, Theoretical Computer Science, System Testing, System Software, Systems Design, Software Architecture, Embedded Systems

    4.4
    Rating, 4.4 out of 5 stars
    ·
    182 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Verification and Synthesis of Autonomous Systems

    Skills you'll gain: Computational Logic, Verification And Validation, Automation, Theoretical Computer Science, Systems Analysis, Agentic systems, System Requirements, System Design and Implementation, Simulations, Computer Science, Algorithms

    Build toward a degree

    3.9
    Rating, 3.9 out of 5 stars
    ·
    10 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    University of Michigan

    Model Thinking

    Skills you'll gain: Mathematical Modeling, Systems Thinking, Strategic Decision-Making, Innovation, Social Sciences, Strategic Thinking, Decision Making, Complex Problem Solving, Critical Thinking, Network Analysis, Economics, Probability, Market Dynamics

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

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    U

    University of California, Santa Cruz

    Cyber-Physical Systems: Modeling and Simulation

    Skills you'll gain: Systems Design, Model Based Systems Engineering, Mathematical Modeling, Simulations, Control Systems, Network Model, Embedded Systems, Systems Analysis, Technical Design, Computational Logic, Digital Communications

    4.6
    Rating, 4.6 out of 5 stars
    ·
    53 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    G

    Google Cloud

    Model Armor: Mengamankan Deployment AI

    Skills you'll gain: LLM Application, Open Web Application Security Project (OWASP), Large Language Modeling, Threat Modeling, Security Controls, Security Testing, API Gateway, Google Cloud Platform, System Configuration

    Beginner · Course · 1 - 3 Months

  • Status: New
    New
    G

    Google Cloud

    Model Armor: KI-Bereitstellungen absichern

    Skills you'll gain: Large Language Modeling, Open Web Application Security Project (OWASP), Prompt Engineering, Application Security, Security Controls, Continuous Monitoring, Vulnerability Assessments, Google Cloud Platform, Software Architecture, Application Programming Interface (API), Safety and Security

    Beginner · Course · 1 - 3 Months

  • Status: New
    New
    G

    Google Cloud

    Model Armor: 안전한 AI 배포

    Skills you'll gain: Large Language Modeling, LLM Application, Threat Modeling, Open Web Application Security Project (OWASP), Application Security, Responsible AI, Google Cloud Platform, Security Controls, Security Software, Security Requirements Analysis, Application Programming Interface (API), API Design, System Configuration

    Beginner · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    E

    EDUCBA

    XML Practical - Document Object Model

    Skills you'll gain: Extensible Markup Language (XML), Extensible Languages and XML, Javascript, Document Management, Scripting

    4.9
    Rating, 4.9 out of 5 stars
    ·
    12 reviews

    Intermediate · Course · 1 - 4 Weeks

Searches related to model checking

model checking with sat and smt
quantitative model checking
automated reasoning: symbolic model checking
temporal logic model checking
1…456…256

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

  • Calculus through Data & Modeling: Precalculus Review: Johns Hopkins University
  • Model Armor:保護您部署的 AI 應用程式: Google Cloud
  • Software Engineering: Modeling Software Systems using UML: The Hong Kong University of Science and Technology
  • Modelling and simulation of mechanical systems: Università di Napoli Federico II
  • System Validation: Automata and behavioural equivalences: EIT Digital
  • Verification and Synthesis of Autonomous Systems: University of Colorado Boulder
  • Model Thinking: University of Michigan
  • Cyber-Physical Systems: Modeling and Simulation: University of California, Santa Cruz
  • Model Armor: Mengamankan Deployment AI: Google Cloud
  • Model Armor: KI-Bereitstellungen absichern: Google Cloud

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

  • Artificial Intelligence (AI)
  • Cybersecurity
  • Data Analytics
  • Digital Marketing
  • English Speaking
  • Generative AI (GenAI)
  • Microsoft Excel
  • Microsoft Power BI
  • Project Management
  • Python

Certificates & Programs

  • Google Cybersecurity Certificate
  • Google Data Analytics Certificate
  • Google IT Support Certificate
  • Google Project Management Certificate
  • Google UX Design Certificate
  • IBM Data Analyst Certificate
  • IBM Data Science Certificate
  • Machine Learning Certificate
  • Microsoft Power BI Data Analyst Certificate
  • UI / UX Design Certificate

Industries & Careers

  • Business
  • Computer Science
  • Data Science
  • Education & Teaching
  • Engineering
  • Finance
  • Healthcare
  • Human Resources (HR)
  • Information Technology (IT)
  • Marketing

Career Resources

  • Career Aptitude Test
  • Examples of Strengths and Weaknesses for Job Interviews
  • High-Income Skills to Learn
  • How Does Cryptocurrency Work?
  • How to Highlight Duplicates in Google Sheets
  • How to Learn Artificial Intelligence
  • Popular Cybersecurity Certifications
  • Preparing for the PMP Certification
  • Signs You Will Get the Job After an Interview
  • What Is Artificial Intelligence?

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
© 2025 Coursera Inc. All rights reserved.
  • Coursera Facebook
  • Coursera Linkedin
  • Coursera Twitter
  • Coursera YouTube
  • Coursera Instagram
  • Coursera TikTok