About this Course

3,318 recent views
Shareable Certificate
Earn a Certificate upon completion
100% online
Start instantly and learn at your own schedule.
Flexible deadlines
Reset deadlines in accordance to your schedule.
Intermediate Level
Approx. 4 hours to complete
English

Skills you will gain

BisimulationFinite-State MachineTransition System
Shareable Certificate
Earn a Certificate upon completion
100% online
Start instantly and learn at your own schedule.
Flexible deadlines
Reset deadlines in accordance to your schedule.
Intermediate Level
Approx. 4 hours to complete
English

Offered by

Placeholder

EIT Digital

Syllabus - What you will learn from this course

Week
1

Week 1

1 hour to complete

Behavioural modelling

1 hour to complete
5 videos (Total 27 min), 1 reading, 1 quiz
5 videos
An automaton as a model for behaviour6m
Non-deterministic behaviour8m
The definition of an automaton5m
The wolf, the goat and the cabbage5m
1 reading
Book exercises15m
1 practice exercise
Automata to model behaviour30m
Week
2

Week 2

2 hours to complete

Basic behavioural equivalences

2 hours to complete
6 videos (Total 42 min), 2 readings, 1 quiz
6 videos
Strong bisimulation9m
Trace equivalence6m
The internal or τ -action.5m
Branching bisimulation8m
Rooted branching bisimulation6m
2 readings
Book exercises15m
Book exercises15m
1 practice exercise
Basic behavioural equivalences30m
Week
3

Week 3

1 hour to complete

More behavioural equivalences

1 hour to complete
7 videos (Total 47 min)
7 videos
Divergence preserving branching bisimulation3m
Weak trace equivalence2m
Weak bisimulation4m
Language, failure, and completed trace equivalence10m
When to use which behavioural equivalence6m
Transition systems with data, time and probabilities5m
1 practice exercise
More behavioural equivalences.30m

Reviews

TOP REVIEWS FROM SYSTEM VALIDATION: AUTOMATA AND BEHAVIOURAL EQUIVALENCES

View all reviews

Frequently Asked Questions

More questions? Visit the Learner Help Center.