Abstracción a Estados Esenciales en el Model Checker Probabilista PRISM

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

Guardado en:
Detalles Bibliográficos
Autor principal: Zandarin, Nicolás Hugo
Otros Autores: D'Argenio, Pedro Ruben
Formato: bachelorThesis
Lenguaje:Español
Publicado: 2011
Materias:
Software
Program verification
Model checking
Métodos formales
Explosión del espacio de estados
Estados esenciales
MTBDD
PRISM
Acceso en línea:http://hdl.handle.net/11086/40
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba
Descripción
Sumario:Tesis (Lic. en Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2010.

Ejemplares similares