PRACTICA 3

1. Instrucciones

Estos son los ejercicio correspondientes a la Unidad 3: Model Chec-

king (Tema 3 del libro).

2. Tareas

1. Ejercicio 3.1 (Sección 3.8 del libro)

2. Ejercicio 3.2
a) Apartado 1
b) Apartado 2
3. Instalar el sistema MuSMV
4. Estudiar bien los ejemplos de la sección 3.3.2, 3.3.4 y 3.3.5 para
luego implementarlos.

ETSI Informática

E-mail address: jmascarell@issi.uned.es