Contents

The term formal methods stands for languages and methods that allow systems to be modelled precisely at certain levels of abstraction using mathematical means, to formulate requirements for them and to reliably analyse the fulfilment of these properties. In this seminar we will cover some basic topics from the field of formal methods, such as modelling languages for systems (different classes of automata for discrete, hybrid and probabilistic systems), specification languages for properties (temporal logics such as CTL*, CTL, LTL), verification techniques (bisimulation), but also techniques used in verification processes (satisfiability checking).

Prerequisites

Participants should have completed the courses on “Algorithms and Data Structures”, “Mathematical Logic” and “Linear Algebra”.

Contact: László Antal