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