Summary: 2 Lehrstuhl für Informatik 2
Modellierung und Verifikation von Software
Semantics and Verification of Software WS2011/12
Exercise 1 (Hand in until 08.11.2011)
aaAOR Priv.-Doz. Dr. Thomas Noll Christina Jansen, Sabrina von Styp
Hinweise:
· Note that content for exercises 3 to 5 is discussed in lecture 3. If you would like to try solving the exercises
before, you may find the following execution relation helpful:
(skip)
skip,
c1, c1,
(seq)
c1; c2,
a, z
(asgn)
x := a, [x z]
b, f alse
(wh - f )
while b do c,
b, true c, while b do c,

Source: Ábrahám, Erika - Fachgruppe Informatik, Rheinisch Westfälische Technische Hochschule Aachen (RWTH)

Collections: Computer Technologies and Information Sciences