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 Debe reconocer adecuadamente la autoría, proporcionar un enlace a la licencia e indicar si se han realizado cambios. Puede hacerlo de cualquier manera razonable, pero no de una manera que sugiera que tiene el apoyo del licenciador o lo recibe por el uso que hace. No puede utilizar el material para una finalidad comercial. Si remezcla, transforma o crea a partir del material, deberá difundir sus contribuciones bajo la misma licencia que el original.



Este registro pertenece a las colecciones:
Materiales académicos > Guías docentes > Arquitectura e Ingeniería > Mastéres de Ingeniería y Arquitectura > Máster Universitario en Ingeniería de Sistemas e Informática
Materiales académicos > Guías docentes > Guías docentes: Curso 2010-2011



Volver a la búsqueda

Guía (idioma español):
Descargar el texto completo
PDF

Valore este documento:

Rate this document:
1
2
3
 
(Sin ninguna reseña)