44761 20170831220506.0 GDOC-2011-1550 spa (orcid)0000-0003-0533-9161 García Vallés, Fernando 62639 Verificación asistida por computador de sistemas concurrentes Zaragoza Universidad de Zaragoza 2011-2012 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. 630 Máster Universitario en Ingeniería de Sistemas e Informática by-nc-sa Creative Commons 3.0 http://creativecommons.org/licenses/by-nc-sa/3.0/ (orcid)0000-0001-5066-4030 Colom Piazuelo, José Manuel 345 95160 http://zaguan.unizar.es/record/44761/files/guia.pdf Guía (idioma español) GDOC Ingeniería y Arquitectura 110