Estonian Winter Schools in Computer Science    
Eesti arvutiteaduse talvekoolid
EWSCS 2007
EATTK 2007

12th Estonian Winter School in Computer Science (EWSCS)
XII Eesti Arvutiteaduse Talvekool

Palmse, Estonia, March 4-9, 2007

under the auspices of European Educational Forum

Anna Ingólfsdóttir

Dept. of Computer Science
Reykjavík University

Reactive Systems: Modelling, Specification and Verification


In this course we introduce three of the basic notions that we shall use to describe, specify and analyze reactive systems, namely

We shall present a general theory of reactive systems and its applications. In particular, we intend to show how to describe actual systems using terms in our chosen models (that is, either as terms in the process description language CCS or as labelled transition systems), to offer specifications of the desired behaviour of systems either as terms of our models or as formulae in HML. We also show how to manipulate these descriptions, possibly (semi-)automatically, in order to analyze the behaviour of the model of the system under consideration.

Course materials

Modified Jun 01, 2007 11:58