Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
MODELLING & VERIFICATION 2008 Starred exercises are those that I strongly recommend you try and solve, but you should try to work out
 

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