Principal


Verificación Formal - Posgrado en Ciencia e Ingeniería de la Computación IIMAS







Sinopsis:


El análisis y la verificación de sistemas de software es un asunto importante. Los errores en sistemas cuya seguridad es crítica pueden ser desastrosos causando pérdidas financieras enormes o incluso la muerte, por lo que los métodos para evitar estos escenarios son esenciales. Un proceso de pruebas preliminares puede identificar problemas, si se realiza de manera rigurosa, pero por lo general no es suficiente para garantizar un nivel satisfactorio de calidad. Por otra parte la teoría de especificación y verificación formal ofrece metodologías que van desde la descripción formal de requerimientos, lo cual permite razonar rigurosamente sobre ellos, hasta sofisticadas técnicas automátizadas para la verificación de software. El objetivo de este curso es proporcionar un panorama de algunos métodos de especificación y verificación formal mediante el estudio de casos de razonamiento sobre estructuras de datos y otros temas de interés por parte de los alumnos, haciendo énfasis en el proceso de verificación automatizada mediante el uso del asistente de prueba Coq.


Prof. Dr. Favio Ezequiel Miranda Perea 
Cubículo 020, Departamento de Matemáticas
Facultad de Ciencias

Horario:  Lunes y miércoles 1300-1430hrs
                  Salón 302, edificio anexo al IIMAS




Avisos recientes