Browsing Facultad de Matemática, Astronomía, Física y Computación by Subject "Cadena de Markov de tiempo discreto"
Now showing items 1-1 of 1
-
Implementación de técnicas de derivación de contraejemplos en el model checker PRISM
(2011-03-18)El model checking es un método de verificación formal que permite verificar automáticamente si un modelo cumple una especificación. PRISM constituye una herramienta para realizar model checking de tipo probabilista. En ...