Download Careers360 App

    System Validation Automata and Behavioural Equivalences

    BY
    EIT Digital via Coursera

    Brochure Enquire
    Lavel

    Intermediate

    Mode

    Online

    Duration

    4 Weeks

    Fees

    Free

    Quick Facts

    particular details
    Medium of instructions English
    Mode of learning Self study
    Mode of Delivery Video and Text Based
    Learning efforts 1 Hours Per Week

    Course and certificate fees

    Type of course

    Free

    certificate availability

    Yes

    certificate providing authority

    Coursera

    certificate fees

    ₹2,422

    The syllabus

    Behavioural modelling

    Videos
    • Welcome
    • An automaton as a model for behaviour
    • Non-deterministic behaviour
    • The definition of an automaton
    • The wolf, the goat and the cabbage
    Reading
    • Book exercises
    Practice Exercise
    • Automata to model behaviour

    Basic behavioural equivalences

    Videos
    • Behavioural equivalences
    • Strong bisimulation
    • Trace equivalence
    • The internal or τ -action.
    • Branching bisimulation
    • Rooted branching bisimulation
    Readings
    • Book exercises
    • Book exercises
    Practice Exercise
    • Basic behavioural equivalences

    More behavioural equivalences

    Videos
    • The alternating bit protocol
    • Divergence preserving branching bisimulation
    • Weak trace equivalence
    • Weak bisimulation
    • Language, failure, and completed trace equivalence
    • When to use which behavioural equivalence
    • Transition systems with data, time and probabilities
    Practice Exercise
    • More behavioural equivalences.

    Instructors

    Mr Jan Friso Groote

    Mr Jan Friso Groote
    Professor
    EIT Digital

    B.E /B.Tech, Other Bachelors, Ph.D

    Similar Courses

    Site Reliability Engineers Infrastructure Resilien...

    IBM via Edx

    6 Weeks Online
    Intermediate     Free

    Robotics Foundations I Robot Modeling

    University of Naples Federico II, Naples via Edx

    8 Weeks Online
    Intermediate     Free

    Robotics Foundation II-Robot Control

    University of Naples Federico II, Naples via Edx

    12 Weeks Online
    Intermediate     Free

    Courses of your Interest

    Salesforce Administrator and App Builder

    Salesforce Administrator and App Builder

    SkillUp Online via Simplilearn

    16 Hours Online
    Intermediate     Free
    Introduction to Medical Software

    Introduction to Medical Software

    Yale University, New Haven via Coursera

    4 Weeks Online
    Intermediate     Free
    Cisco Certified Networking Associate

    Cisco Certified Networking Associate

    Sona College of Technology, Salem

    350 Hours Online
    Intermediate     ₹ 15,000

    Google Cloud Architect Program

    Google Cloud via SkillUp Online

    11 Weeks Online
    Intermediate     ₹ 54,999

    Google Cloud Architect Program

    Google via SkillUp Online

    11 Weeks Online
    Intermediate     ₹ 54,999
    Information Security Design and Development

    Information Security Design and Development

    Coventry University, Coventry via Futurelearn

    10 Weeks Online
    Intermediate
    Ethics Laws and Implementing an AI Solution on Mic...

    Ethics Laws and Implementing an AI Solution on Mic...

    CloudSwyft Global Systems, Inc via Futurelearn

    14 Weeks Online
    Intermediate
    Network Security and Defence

    Network Security and Defence

    Coventry University, Coventry via Futurelearn

    10 Weeks Online
    Intermediate
    Data Science on Microsoft Azure Using Python Progr...

    Data Science on Microsoft Azure Using Python Progr...

    CloudSwyft Global Systems, Inc via Futurelearn

    15 Weeks Online
    Intermediate

    Cyber Security Foundations Start Building Your Car...

    EC-Council via Futurelearn

    15 Weeks Online
    Intermediate

    More Courses by EIT Digital

    System Validation 2 Model Process Behaviour

    EIT Digital via Coursera

    3 Weeks Online
    Intermediate     Free

    Geometric Algorithms

    EIT Digital via Coursera

    2 Weeks Online
    Intermediate     Free

    Trending Courses

    Digital Marketing Courses Fashion Design Courses Data Science Courses Interior Design Courses Graphic Designing Courses Cyber Security Courses Nursing Courses Tally Courses Data Analysis Courses Web Designing Courses Artificial Intelligence Courses Ethical Hacking Courses Free Digital Marketing Courses And certifications Free Artificial Intelligence Courses And Certifications Free Data Analysis Courses And Certifications Free Cyber Security Courses And Certifications Free Data Science Courses And Certifications Free Cloud Computing Courses And Certifications Free Python Courses And Certifications Free Fashion And Textiles Courses And Certifications Free Graphic Designing Courses And Certifications Free Web Designing Courses And Certifications

    Popular Courses

    General Management Courses Public Health Courses Teaching and Education Courses Financial Management Courses Web Development Courses Mathematics Courses Data Science Courses Programming Courses Cyber Security Courses Digital Marketing Courses Law Courses Mechanical Engineering Courses Explore all courses

    Popular Platforms

    upGrad Courses Udemy Courses Edx Courses Swayam Courses Coursera Courses Futurelearn Courses Mindmajix Technologies Courses Vskills Courses IIT Kharagpur Courses IIT Kanpur Courses Emeritus Courses IIT Madras sdfgokdafsggdsjmzndjnaskj Courses Explore all platforms

    Learn more about the Courses

    10 Reasons to Enrol Yourself in a Digital Marketing Course 8 Must-Have Skills for AWS Cloud Architects Planning to Upskill Yourself? Enrol for a Program in Data Science 25+ Tips for Improving Your Graphic Design Skills Top Universities in India Offering Cyber Security Courses 15+ Courses for Learning Data Mining How to Make a Career in the Field of Artificial Intelligence Top 10 Benefits Of Holding A Certification In Business Intelligence Which are the best certification courses for Photography in India A Beginner's Guide to Pursue Python Programming Want to Pursue a Career in Blockchain Technology? Here is all that you need to Know How Entrepreneurs Can Use Machine Learning to Make their Business Successful? The Scope of Artificial Intelligence in India Top 10 Online Courses for Travel Lovers 10 Best Certification Courses After Hospital and Healthcare Management
    Providers
    Close
    Download Careers360 App
    All this at the convenience of your phone

    • Regular Exam Updates

    • Best College Recommendations

    • College & Rank predictors

    • Detailed Books and Sample Papers

    • Question and Answers

    google play
    students
    400M+ Students
    Colleges
    36K+ Colleges
    Exams
    500+ Exams
    eBooks
    3K+ eBooks
    Certification
    16K+ Certifications
    mobile