Search
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 ...