Examens corriges

Software Quality FS 2010 Exercise 1

Exercise 1 had 5 parts: ? P: Introducing Promela (2 1 1 ? 2 1 2). P: Introducing Promela (2.1.1 2.1.2). ? S: Verifying LTL properties with SPIN (2.1.3 ...



Télécharger