Diapositiva PPT
¿Cómo garantizar que una especificación es completa y correcta?
Definir los axiomas suficientes para relacionar las operaciones de modificación y consulta con los constructores.
No incluir axiomas que se puedan deducir de otros existentes.
Ejecución de una especificación formal: aplicar sucesivamente las reglas de la semántica.
1.3. Especificaciones formales.