Summary: MODELLING & VERIFICATION 2008
Tutorial 1
Starred exercises are those that I strongly recommend you try and solve, but you should try to work out
solutions to all the given exercises at your leasure.
Exercise 1 (optional/warm up)
What are all the possible values that can be stored in the variable x after the execution of the following
parallel program?
x:=10; (x:=x*2; x:=x-11; x:=x+2) || x:=x-5
Exercise 2*
Let us consider the following labelled transition system.
s
a // s1
a

s3
a
OO
s2
aoo
· Define the labelled transition system as a triple (Proc, Act, {

Source: Aceto, Luca - School of Computer Science, Reykjavík University

Collections: Mathematics; Computer Technologies and Information Sciences