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