get app

    System Validation Automata and Behavioural Equivalences

    BY
    EIT Digital via Coursera

    Brochure Enquire
    Lavel

    Intermediate

    Mode

    Online

    Duration

    3 Weeks

    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

    The fees for the course System Validation Automata and Behavioural Equivalences is -

    HeadAmount in INR
    Certificate FeesRs. 2,436

     

    certificate availability

    Yes

    certificate providing authority

    Coursera

    certificate fees

    ₹2,436

    The syllabus

    Module 1: 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
    Assignment
    • Automata to model behaviour

    Module 2: Basic behavioural equivalences

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

    Module 3: 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
    Assignment
    • 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

    3 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

    Cyber Security Foundations Start Building Your Car...

    EC-Council via Futurelearn

    15 Weeks Online
    Intermediate
    Applied Data Analysis

    Applied Data Analysis

    CloudSwyft Global Systems, Inc via Futurelearn

    14 Weeks Online
    Intermediate     ₹ 900

    More Courses by EIT Digital

    System Validation 2 Model Process Behaviour

    System Validation 2 Model Process Behaviour

    EIT Digital via Coursera

    3 Weeks Online
    Intermediate     Free
    Geometric Algorithms

    Geometric Algorithms

    EIT Digital via Coursera

    3 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 Cyber Security Courses Programming Courses Digital Marketing Courses Law Courses Leadership Courses Explore all courses

    Popular Platforms

    upGrad Courses Udemy Courses Edx Courses Swayam Courses Coursera Courses Futurelearn Courses Mindmajix Technologies Courses Vskills Courses NPTEL Courses IIT Kharagpur Courses Emeritus Courses IIT Kanpur 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 the Careers360 App on your Android phone

    Regular exam updates, QnA, Predictors, College Applications & E-books now on your Mobile

    Careers360 App
    150M+ Students
    30,000+ Colleges
    500+ Exams
    1500+ E-books