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

Ejemplares similares

Abstracción a Estados Esenciales en el Model Checker Probabilista PRISM
por: Zandarin, Nicolás H.
Publicado: (2011)

Implementación de técnicas de derivación de contraejemplos en el model checker PRISM
por: Marenchino, Matías L.
Publicado: (2011)

Implementación de técnicas de derivación de contraejemplos en el model checker PRISM
por: Marenchino, Matías Leandro
Publicado: (2011)

Análisis de ejecuciones parciales de Software Model Checkers
por: Castaño, Rodrigo
Publicado: (2018)

Análisis de ejecuciones parciales de Software Model Checkers
por: Castaño, Rodrigo
Publicado: (2018)

Análisis de ejecuciones parciales de Software Model Checkers
por: Castaño, Rodrigo
Publicado: (2018)

OFFBEAT : una extensión de PRISM para el análisis de sistemas temporizados tolerantes a fallas
por: Bordenabe, Nicolas Emilio
Publicado: (2011)

OFFBEAT : una extensión de PRISM para el análisis de sistemas temporizados tolerantes a fallas
por: Bordenabe, Nicolas Emilio
Publicado: (2011)

Reducción de orden parcial en model checking probabilista simbólico
por: Ferrer Fioriti, Luis María.
Publicado: (2011)

Reducción de orden parcial en model checking probabilista simbólico
por: Ferrer Fioriti, Luis María
Publicado: (2011)

Model checking RAISE applicative specifications
por: Perna, Juan I., et al.
Publicado: (2006)

An experimental tool for checking probabilistic program refinement
por: Gonzalía, Carlos José
Publicado: (2012)

Model checker execution reports
por: Castano, R., et al.

Model checker execution reports
Publicado: (2017)

Falluto2.0 un model checker para la verificación automática de sistemas tolerantes a fallas
por: Monti, Raúl Enrique
Publicado: (2022)

Towards the verification of RAISE specifications through Model Checking
por: Perna, Juan Ignacio, et al.
Publicado: (2006)

Addressing the state explosion problem for big data systems formal verification
por: Asteasuain, Fernando
Publicado: (2023)

Herramientas para la exploración y formalización de modelos de programas probabilísticos
por: Gonzalía, Carlos José
Publicado: (2014)

Extensión de lógicas temporales con nociones deónticas para la especificación y análisis de sistemas tolerantes a fallas
por: Kilmurray, Cecilia Noelia
Publicado: (2021)

Extensión de lógicas temporales con nociones deónticas para la especificación y análisis de sistemas tolerantes a fallas
por: Kilmurray, Cecilia Noelia
Publicado: (2021)

Minimum deviation for uniaxial prisms
por: Simon, M.C., et al.

Minimum deviation for uniaxial prisms
por: Simón, María C., et al.
Publicado: (1995)

Integrated program verification tools in education
por: De Caso, G., et al.

Integrated program verification tools in education
por: de Caso, Guido, et al.
Publicado: (2013)

The fresnel prism as polarization interferometer
por: Echarri, Rodolfo

The fresnel prism as polarization interferometer
por: Echarri, Rodolfo Manuel
Publicado: (1993)

Model checking: un modelo del protocolo Gnutella : Simulación y verificación usando SPIN
por: De Vito, María Cecilia, et al.
Publicado: (2006)

TEO : una herramienta para la optimización de la probabilidad de ejecución de casos de prueba en tiempo real
por: Miretti, Gabriel Leonardo
Publicado: (2011)

TEO : una herramienta para la optimización de la probabilidad de ejecución de casos de prueba en tiempo real
por: Miretti, Gabriel Leonardo.
Publicado: (2011)

Interpretability of first-order linear temporal logics in fork algebras
por: Frias, M.F., et al.

Interpretability of first-order linear temporal logics in fork algebras
Publicado: (2006)

Computer Aided Verification of Relational Models by Strategic Rewriting
por: Necco, Claudia Mónica, et al.
Publicado: (2017)

Verification of real-time designs: Combining scheduling theory with automatic formal verification
por: Braberman, V.A., et al.

Verification of real-time designs: Combining scheduling theory with automatic formal verification
por: Braberman, Víctor Adrián
Publicado: (1999)

A Parallel Tableau Algorithm for BIG DATA Verification
por: Asteasuain, Fernando, et al.
Publicado: (2020)

Análisis modular y recuperación de contraejemplos en TACO
por: Alborodo, Raúl, et al.
Publicado: (2011)

Black-Box Testing Technique for Information Visualization. Sequencing Constraints with Low-Level Interactions
por: Larrea, Martín Leonardo
Publicado: (2017)

TacoFlow: optimizing SAT program verification using dataflow analysis
por: Cuervo Parrino, B., et al.

TacoFlow: optimizing SAT program verification using dataflow analysis
por: Galeotti, Juan Pablo, et al.
Publicado: (2014)

Hypervolume approximation in timed automata model checking
por: Braberman, V., et al.