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

Results for "model checking"


  • 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

  • C

    Coursera

    Model Power BI Data with Security

    Skills you'll gain: Star Schema, Role-Based Access Control (RBAC), Power BI, Database Design, Data Modeling, Financial Modeling, Data Analysis Expressions (DAX), Authorization (Computing), Relational Databases, Financial Data, Data Security, Security Controls, Dashboard, Data Access, Model Deployment, Gross Profit

    Intermediate · Course · 1 - 4 Weeks

  • P

    Packt

    Software Security Testing

    Skills you'll gain: Software Testing, Open Web Application Security Project (OWASP), Business Logic, Secure Coding, Cryptography, Cybersecurity, Test Case, Identity and Access Management, Authentications, Vulnerability Assessments, Threat Modeling, Encryption, Data Validation, Network Protocols, Authorization (Computing), Web Applications

    Intermediate · Course · 1 - 4 Weeks

  • W

    Whizlabs

    Modeling in AWS

    Skills you'll gain: Model Evaluation, AWS SageMaker, Predictive Modeling, Data Modeling, Amazon Web Services, Machine Learning, Machine Learning Algorithms, Performance Tuning

    2.6
    Rating, 2.6 out of 5 stars
    ·
    7 reviews

    Beginner · Course · 1 - 4 Weeks

  • U

    University at Buffalo

    MBSE: Model-Based Systems Engineering

    Skills you'll gain: Model Based Systems Engineering, Systems Engineering, Industrial Engineering, Manufacturing Processes, Internet Of Things, Product Lifecycle Management, Enterprise Architecture, Verification And Validation, Simulation and Simulation Software, Process Analysis

    4.4
    Rating, 4.4 out of 5 stars
    ·
    903 reviews

    Beginner · Course · 1 - 4 Weeks

  • 2

    28DIGITAL

    System Validation (2): Model process behaviour

    Skills you'll gain: Verification And Validation, Embedded Software, Software Systems, Systems Analysis, Distributed Computing, Mathematical Modeling, Theoretical Computer Science, Software Architecture, Data Modeling, Software Design, Algorithms, Data Structures

    4.1
    Rating, 4.1 out of 5 stars
    ·
    10 reviews

    Intermediate · Course · 1 - 4 Weeks

  • 2

    28DIGITAL

    System Validation (4): Modelling Software, Protocols, and other behaviour

    Skills you'll gain: Systems Analysis, Communication Systems, Verification And Validation, System Design and Implementation, Data Modeling, Software Design, Software Architecture, Theoretical Computer Science, Network Protocols, Algorithms

    4.6
    Rating, 4.6 out of 5 stars
    ·
    13 reviews

    Advanced · Course · 1 - 4 Weeks

  • C

    Cisco Learning and Certifications

    Introducing Model-Driven Programmability

    Skills you'll gain: Software-Defined Networking, YAML, Network Architecture, Network Protocols, Network Routing, Computer Networking, Data Modeling, Extensible Markup Language (XML), JSON, Automation, Application Programming Interface (API)

    4.8
    Rating, 4.8 out of 5 stars
    ·
    14 reviews

    Intermediate · Course · 1 - 4 Weeks

  • C

    Corporate Finance Institute

    Advanced Tableau - Data Model

    Skills you'll gain: Star Schema, Data Modeling, Extract, Transform, Load, Performance Tuning, Tableau Software, Database Design, Data Warehousing, Data Transformation, Data Integration

    Advanced · Course · 1 - 3 Months

  • U

    University of Colorado Boulder

    Engineering Genetic Circuits: Abstraction Methods

    Skills you'll gain: Markov Model, Engineering Analysis, Mathematical Modeling, Computational Thinking, Failure Analysis, Biological Engineering, Hazard Analysis, Simulations, Chemical Engineering, Model Evaluation, Applied Mathematics, Differential Equations, Probability

    Build toward a degree

    Intermediate · Course · 1 - 3 Months

  • C

    Coursera

    Introduction to Embedded Software Testing

    Skills you'll gain: Scenario Testing, Test Planning, Unit Testing, Functional Testing, Test Case, Hardware Troubleshooting

    Beginner · Course · 1 - 4 Weeks

  • D

    Duke University

    Rust for Large Language Model Operations (LLMOps)

    Skills you'll gain: LLM Application, Hugging Face, Large Language Modeling, Generative AI, Rust (Programming Language), Model Deployment, MLOps (Machine Learning Operations), AWS SageMaker, Cloud Deployment, PyTorch (Machine Learning Library), CI/CD, Applied Machine Learning, Natural Language Processing, Infrastructure as Code (IaC), DevOps, Machine Learning

    4.2
    Rating, 4.2 out of 5 stars
    ·
    13 reviews

    Intermediate · Course · 1 - 4 Weeks

Searches related to model checking

temporal logic model checking
1…678…370

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

  • Safeguard LLM Outputs: Test and Evaluate: Coursera
  • Model Power BI Data with Security: Coursera
  • Software Security Testing: Packt
  • Modeling in AWS: Whizlabs
  • MBSE: Model-Based Systems Engineering : University at Buffalo
  • System Validation (2): Model process behaviour: 28DIGITAL
  • System Validation (4): Modelling Software, Protocols, and other behaviour: 28DIGITAL
  • Introducing Model-Driven Programmability: Cisco Learning and Certifications
  • Advanced Tableau - Data Model: Corporate Finance Institute
  • Engineering Genetic Circuits: Abstraction Methods: University of Colorado Boulder

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