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

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

Ejemplares similares