GDOC-2010-1025

Verificación asistida por computador de sistemas concurrentes - [62639]


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.



Creative Commons You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use. You may not use the material for commercial purposes. If you remix, transform, or build upon the material, you must distribute your contributions under the same license as the original.



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



Back to search

Guía (idioma español):
Download fulltext
PDF

Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)