Verificación de Sistemas Reactivos Utilizando Lógica Temporal: Un Caso práctico
Javier Tuya, Luciano Sánchez, Isabel Sevilla, José A. Corrales
En: XVI Escuela de Verano de Informática, Oviedo, pp. 55-68, 1994
(ps.zip)

Resumen

Durante los últimos años, se ha dedicado un gran esfuerzo a la búsqueda de métodos para la especificación de sistemas en tiempo real así como para la verificación de los mismos. En este trabajo, presentamos la utilización práctica de verificadores de modelos partiendo de especificaciones estructuradas (según el método de Ward/Mellor), a las cuales se añaden una serie de propiedades que han de ser verificadas. Estas propiedades son expresadas utilizando lógica temporal.

Index - Testing - Personal Page