Browsing by Subject "Verificación formal"
Now showing items 1-2 of 2
-
Falluto2.0 un model checker para la verificación automática de sistemas tolerantes a fallas
(2013-03)Los sistemas computacionales juegan roles determinantes en muchas áreas de nuestra vida cotidiana. En algunos casos la dependencia hacia estos sistemas es crítica, y el mal funcionamiento de los mismos puede acarrear grandes ... -
OFFBEAT : una extensión de PRISM para el análisis de sistemas temporizados tolerantes a fallas
(2011-03-28)Los sistemas tolerantes a fallas son aquellos que son capaces de seguir operando luego de la ocurrencia de una o más fallas. Una falla puede provocar cambios no deseados en el estado interno del sistema, y para que el ...