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 Leandro
Otros Autores: D'Argenio, Pedro Ruben
Formato: bachelorThesis
Lenguaje:Español
Publicado: 2011
Materias:
Software Program Verification
Model checking probabilista
Contraejemplos
Cadena de Markov de tiempo discreto
Proceso de decisión de Markov
Lógica LTL
PRISM
Acceso en línea:http://hdl.handle.net/11086/50
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba
id I10-R141-11086-50
record_format dspace
institution Universidad Nacional de Córdoba
institution_str I-10
repository_str R-141
collection Repositorio Digital Universitario (UNC)
language Español
topic Software Program Verification
Model checking probabilista
Contraejemplos
Cadena de Markov de tiempo discreto
Proceso de decisión de Markov
Lógica LTL
PRISM
spellingShingle Software Program Verification
Model checking probabilista
Contraejemplos
Cadena de Markov de tiempo discreto
Proceso de decisión de Markov
Lógica LTL
PRISM
Marenchino, Matías Leandro
Implementación de técnicas de derivación de contraejemplos en el model checker PRISM
topic_facet Software Program Verification
Model checking probabilista
Contraejemplos
Cadena de Markov de tiempo discreto
Proceso de decisión de Markov
Lógica LTL
PRISM
description Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2011.
author2 D'Argenio, Pedro Ruben
author_facet D'Argenio, Pedro Ruben
Marenchino, Matías Leandro
format bachelorThesis
author Marenchino, Matías Leandro
author_sort Marenchino, Matías Leandro
title Implementación de técnicas de derivación de contraejemplos en el model checker PRISM
title_short Implementación de técnicas de derivación de contraejemplos en el model checker PRISM
title_full Implementación de técnicas de derivación de contraejemplos en el model checker PRISM
title_fullStr Implementación de técnicas de derivación de contraejemplos en el model checker PRISM
title_full_unstemmed Implementación de técnicas de derivación de contraejemplos en el model checker PRISM
title_sort implementación de técnicas de derivación de contraejemplos en el model checker prism
publishDate 2011
url http://hdl.handle.net/11086/50
work_keys_str_mv AT marenchinomatiasleandro implementaciondetecnicasdederivaciondecontraejemplosenelmodelcheckerprism
bdutipo_str Repositorios
_version_ 1764820392067727363

Ejemplares similares