Imagen de Google Jackets

Derivación de contraejemplos para Model Checking Cuantitativo / Miguel Eduardo Andrés.

Por: Colaborador(es): Detalles de publicación: [S.l. : s.n.], 2006.Descripción: 58 h. : il. ; 30 cm. + 1 CDTema(s): Nota de disertación: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2006. Resumen: Presentamos una técnica para derivar contraejemplos para Model Checking Cuantitativo sobre propiedades de alcanzabilidad cuantitativa acotadas superiormente. Para ello estudiamos Cadenas de Markov de Tiempo Discreto, Procesos de Decisión de Markov, diversos algoritmos para realizar búsquedas sobre los mismos y nociones básicas de probabilidades. Introducimos el concepto de carriles como contraejemplos para model checkers cuantitativos y una técnica para derivar Cadenas de Markov que contienen un contraejemplo a partir de un Proceso de Decisión de Markov. Asimismo, se presenta una herramienta prototípica a través de la cual es posible testear los resultados obtenidos en el presente trabajo.
Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título.
Existencias
Tipo de ítem Biblioteca actual Signatura Copia número Estado Notas Fecha de vencimiento Código de barras Reserva de ítems
Trabajo Especial de Grado Trabajo Especial de Grado FaMAF Depósito Interno TE C AND ej.2 Disponible 18341
CD/DVD de datos CD/DVD de datos FaMAF Colección de CD/DVD TE C AND 1 No para préstamo (Acceso restringido) Copia de resguardo 18340CD
Trabajo Especial de Grado Trabajo Especial de Grado FaMAF Secc. Tesis y Trabajos especiales Trabajo Especial Computación CAJA 6 - 18340 1 Disponible 18340
CD/DVD de datos CD/DVD de datos FaMAF Colección de CD/DVD TE C AND ej.2 2 Disponible 18341CD
Total de reservas: 0

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

Presentamos una técnica para derivar contraejemplos para Model Checking Cuantitativo sobre propiedades de alcanzabilidad cuantitativa acotadas superiormente. Para ello estudiamos Cadenas de Markov de Tiempo Discreto, Procesos de Decisión de Markov, diversos algoritmos para realizar búsquedas sobre los mismos y nociones básicas de probabilidades. Introducimos el concepto de carriles como contraejemplos para model checkers cuantitativos y una técnica para derivar Cadenas de Markov que contienen un contraejemplo a partir de un Proceso de Decisión de Markov. Asimismo, se presenta una herramienta prototípica a través de la cual es posible testear los resultados obtenidos en el presente trabajo.


Nuestras Redes Sociales

facebook Instagram

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:30hs

Av. Medina Allende s/n , Ciudad Universitaria, Córdoba, Argentina

Tel: +54 351 5353701 int. 41127 (Atención al Público) int. 41151 (Dirección)

biblio@famaf.unc.edu.ar (Dirección)

publicofamaf@gmail.com (Atención al público)