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
id I10-R14111086-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
PRISM
Cadena de Markov de tiempo discreto
Proceso de Decisión de Markov
Lógica LTL
spellingShingle Software. Program Verification
Model Checking Probabilista
Contraejemplos
PRISM
Cadena de Markov de tiempo discreto
Proceso de Decisión de Markov
Lógica LTL
Marenchino, Matías L.
Implementación de técnicas de derivación de contraejemplos en el model checker PRISM
topic_facet Software. Program Verification
Model Checking Probabilista
Contraejemplos
PRISM
Cadena de Markov de tiempo discreto
Proceso de Decisión de Markov
Lógica LTL
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 R.
author_facet D'Argenio, Pedro R.
Marenchino, Matías L.
format bachelorThesis
author Marenchino, Matías L.
author_sort Marenchino, Matías L.
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 marenchinomatiasl implementaciondetecnicasdederivaciondecontraejemplosenelmodelcheckerprism
bdutipo_str Repositorios
_version_ 1764820396601769986

Ejemplares similares