000044761 001__ 44761 000044761 005__ 20170831220506.0 000044761 037__ $$aGDOC-2011-1550 000044761 041__ $$aspa 000044761 100__ $$0(orcid)0000-0003-0533-9161$$aGarcía Vallés, Fernando 000044761 24500 $$962639$$aVerificación asistida por computador de sistemas concurrentes 000044761 260__ $$aZaragoza$$bUniversidad de Zaragoza$$c2011-2012 000044761 520__ $$aLa 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. 000044761 521__ $$9630$$aMáster Universitario en Ingeniería de Sistemas e Informática 000044761 540__ $$aby-nc-sa$$bCreative Commons$$c3.0$$uhttp://creativecommons.org/licenses/by-nc-sa/3.0/ 000044761 700__ $$0(orcid)0000-0001-5066-4030$$aColom Piazuelo, José Manuel 000044761 830__ $$9345 000044761 8564_ $$s95160$$uhttps://zaguan.unizar.es/record/44761/files/guia.pdf$$yGuía (idioma español) 000044761 980__ $$aGDOC$$bIngeniería y Arquitectura$$c110