Implementación de técnicas de derivación de contraejemplos en el model checker PRISM

Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2011.

Guardado en:
Detalles Bibliográficos
Autor principal: Marenchino, Matías L.
Otros Autores: D'Argenio, Pedro R.
Formato: bachelorThesis
Lenguaje:Español
Publicado: 2011
Materias:
Software. Program Verification
Model Checking Probabilista
Contraejemplos
PRISM
Cadena de Markov de tiempo discreto
Proceso de Decisión de Markov
Lógica LTL
Acceso en línea:http://hdl.handle.net/11086/50
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba

Ejemplares similares

Ejemplares similares