Home > Verificación asistida por computador de sistemas concurrentes |
GDOC-2010-1025 |
Curso: 2010-2011
Universidad de Zaragoza,
Zaragoza
Titulación: Máster Universitario en Ingeniería de Sistemas e Informática
Idioma: Español
Profesor(es): García Vallés, Fernando ; Colom Piazuelo, José Manuel
Resumen: La asignatura consta de 4 créditos ECTS o 100 horas de trabajo del alumno. El Máster en Ingeniería de Sistemas e Informática tiene un bloque de asignaturas que forma al alumno en sistemas concurrentes. Dentro de ese bloque, esta asignatura aborda dos de los problemas fundamentales de este tipo de sistemas: (1) la representación y manejo eficientes del espacio de estados de sistemas concurrentes que resultan de dimensiones enormes (state explosion problem); y (2) la identificación eficiente de las anomalías que pueden aparecer en el funcionamiento de estos sistemas debidas a la propia concurrencia (computer aided verification). La aproximación adoptada es lo suficientemente general como para abordar el estudio de sistemas especificados mediante redes de Petri, autómatas o álgebras de procesos.
Este registro pertenece a las colecciones:
Academic resources > Academic guides > guias-docentes-ingenieria-arquitectura > masteres-ingenieria-arquitectura > master-ingenieria-sistemas-informatica
Academic resources > Academic guides > Guías docentes: Curso 2010-2011