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