• For Individuals
  • For Businesses
  • For Universities
  • For Governments
Degrees
Log In
Join for Free
  • Browse
  • System Validation Automata And Behavioural Equivalences

More to explore:

Results for "system validation: automata and behavioural equivalences"


  • Status: Preview
    Preview
    U

    University of Washington

    Designing Autonomous AI

    Skills you'll gain: AI Orchestration, Organizational Skills, Process Design, Artificial Intelligence, Functional Design, Goal Setting, Verification And Validation, Reinforcement Learning, Knowledge Transfer, Software Architecture, Interviewing Skills, Software Design Patterns, Decision Making

    4.8
    Rating, 4.8 out of 5 stars
    ·
    13 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Modeling and Debugging Embedded Systems

    Skills you'll gain: Embedded Software, Embedded Systems, Debugging, Model Based Systems Engineering, Computer Engineering, Failure Analysis, Simulation and Simulation Software, Technical Communication, Electronics Engineering, Automation Engineering

    Build toward a degree

    4.6
    Rating, 4.6 out of 5 stars
    ·
    244 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    Universidad Nacional Autónoma de México

    Razonamiento artificial

    Skills you'll gain: Bayesian Network, Computational Logic, Markov Model, Artificial Intelligence, Game Theory, Theoretical Computer Science, Logical Reasoning, Python Programming, Deductive Reasoning, Reinforcement Learning, Probability, Verification And Validation, Decision Tree Learning, Algorithms, Probability Distribution

    4.1
    Rating, 4.1 out of 5 stars
    ·
    113 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free
    Free
    D

    DeepLearning.AI

    AI Agentic Design Patterns with AutoGen

    Skills you'll gain: AI Orchestration, AI Workflows, Agentic Workflows, Generative AI Agents, Agentic systems, LLM Application, Tool Calling

    4.5
    Rating, 4.5 out of 5 stars
    ·
    42 reviews

    Beginner · Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    U

    University of Colorado System

    SRS Documents: Requirements and Diagrammatic Notations

    Skills you'll gain: Software Design Documents, Data Flow Diagrams (DFDs), User Requirements Documents, Functional Requirement, Software Documentation, Diagram Design, Unified Modeling Language, Requirements Analysis, System Requirements, Technical Documentation, Technical Writing, Data Modeling, Systems Analysis

    4.4
    Rating, 4.4 out of 5 stars
    ·
    57 reviews

    Beginner · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    B

    Board Infinity

    Enterprise Automation and Advanced Use Cases with Ansible

    Skills you'll gain: Ansible, IT Automation, Enterprise Architecture, DevSecOps, CI/CD, Automation, Hardening, Enterprise Security, Devops Tools, Infrastructure as Code (IaC), Patch Management, Cloud Infrastructure, Vulnerability Scanning, Role-Based Access Control (RBAC), Configuration Management, Scalability

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    B

    Board Infinity

    Advance Automation: Playbooks, Roles & Workflow Automation

    Skills you'll gain: Ansible, Scalability, Debugging, Scripting, Infrastructure as Code (IaC), Verification And Validation, Devops Tools, Automation, YAML, Maintainability, Configuration Management

    Intermediate · Course · 1 - 4 Weeks

  • 2

    28DIGITAL

    Automated Reasoning: Symbolic Model Checking

    Skills you'll gain: Computational Logic, Theoretical Computer Science, Model Evaluation, Systems Analysis, Graph Theory, Verification And Validation, Algorithms, Data Structures

    4.7
    Rating, 4.7 out of 5 stars
    ·
    26 reviews

    Intermediate · Course · 1 - 4 Weeks

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

    EDUCBA

    Unreal Engine Blueprints-Advanced Gameplay and Logic Systems

    Skills you'll gain: Unreal Engine, Game Design, Performance Tuning, Video Game Development, Performance Testing, Programming Principles, No-Code Development, Object Oriented Design

    Mixed · Course · 1 - 4 Weeks

  • 2

    28DIGITAL

    Quantitative Model Checking

    Skills you'll gain: Computational Logic, Markov Model, Verification And Validation, Theoretical Computer Science, Mathematical Modeling, Systems Analysis, Statistical Modeling, Probability, Algorithms, Probability Distribution

    4.3
    Rating, 4.3 out of 5 stars
    ·
    54 reviews

    Intermediate · Course · 1 - 3 Months

  • 2

    28DIGITAL

    Automated Reasoning: satisfiability

    Skills you'll gain: Computational Logic, Combinatorics, Logical Reasoning, Mathematical Modeling, Theoretical Computer Science, Applied Mathematics, Algorithms, Linear Algebra, Verification And Validation, Arithmetic

    4.8
    Rating, 4.8 out of 5 stars
    ·
    45 reviews

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    API Testing with Karate Framework

    Skills you'll gain: API Testing, Test Case, Test Script Development, Scenario Testing, Behavior-Driven Development, Test Automation, Restful API

    4.4
    Rating, 4.4 out of 5 stars
    ·
    21 reviews

    Beginner · Guided Project · Less Than 2 Hours

1…789…834

In summary, here are 10 of our most popular system validation: automata and behavioural equivalences courses

  • Designing Autonomous AI: University of Washington
  • Modeling and Debugging Embedded Systems: University of Colorado Boulder
  • Razonamiento artificial: Universidad Nacional Autónoma de México
  • AI Agentic Design Patterns with AutoGen: DeepLearning.AI
  • SRS Documents: Requirements and Diagrammatic Notations: University of Colorado System
  • Enterprise Automation and Advanced Use Cases with Ansible: Board Infinity
  • Advance Automation: Playbooks, Roles & Workflow Automation: Board Infinity
  • Automated Reasoning: Symbolic Model Checking: 28DIGITAL
  • Unreal Engine Blueprints-Advanced Gameplay and Logic Systems: EDUCBA
  • Quantitative Model Checking: 28DIGITAL

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