- Welcome
- An automaton as a model for behaviour
- Non-deterministic behaviour
- The definition of an automaton
- The wolf, the goat and the cabbage
- Home
- EIT Digital
- Courses
- System Validation Automata and Behavioural Equivalences
System Validation Automata and Behavioural Equivalences
Intermediate
Online
3 Weeks
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
certificate availability
certificate providing authority
certificate fees
The syllabus
Behavioural modelling
Videos
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
Professor
EIT Digital
B.E /B.Tech, Other Bachelors, Ph.D
Articles
Popular Articles
Latest Articles
Courses of your interest
Salesforce Administrator and App Builder
SkillUp Online via Simplilearn
Introduction to Medical Software
Yale University, New Haven via Coursera
Google Cloud Architect Program
Google Cloud via SkillUp Online
Google Cloud Architect Program
Google via SkillUp Online
Information Security Design and Development
Coventry University, Coventry via Futurelearn
Ethics Laws and Implementing an AI Solution on Mic...
CloudSwyft Global Systems, Inc via Futurelearn
Network Security and Defence
Coventry University, Coventry via Futurelearn
Cyber Security Foundations Start Building Your Car...
EC-Council via Futurelearn
Applied Data Analysis
CloudSwyft Global Systems, Inc via Futurelearn
More Courses by EIT Digital
System Validation 2 Model Process Behaviour
EIT Digital via Coursera
Geometric Algorithms
EIT Digital via Coursera