System Validation: Automata and behavioural equivalences

Description

• The techniques put forward in system validaton allow to prove the absence of errors.
• This first course Automata and behavioural equivalences, builds the foundation of the subsequent courses, showing you how to look at system behaviour as state machines. It discusses behavioural equivalences and illustrate these in a number of examples and quizzes.
• This course explains labelled transition systems or automata to model behaviour for especially software controlled systems. An important question is when two behaviours represented by such automata are equal. The answer to this question is not at all straightforward, but the resulting equivalences are used as powerful tools to simplify complex behaviour.
• This allows us to exactly investigate and understand the behavioural properties of such systems precisely.