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.



Este registro pertenece a las colecciones:
materiales-academicos > guias-docentes > guias-docentes-ingenieria-arquitectura > masteres-ingenieria-arquitectura > master-ingenieria-sistemas-informatica
materiales-academicos > guias-docentes > Guías docentes: Curso 2010-2011



Retour à la recherche

Guía (idioma español):
Télécharger le document
PDF

Évaluer ce document:

Rate this document:
1
2
3
 
(Pas encore évalué)