margarcuaeinModel Checking desde cero3.9 Comunicación RendezvousHasta ahora hemos hablado de la comunicación asíncrona entre procesos a través de canales de mensajes que se declaran, por ejemplo, comoJul 20, 2018Jul 20, 2018
margarcuaeinModel Checking desde cero3.6 Canales de mensajesLos canales de mensajes se usan para modelar el intercambio de datos entre procesos. Se declaran local o globalmente. En la declaraciónJul 20, 2018Jul 20, 2018
margarcuaeinModel Checking desde cero3.3 Clausulas proporcionadasNormalmente, la ejecución del proceso solo se guía por las reglas de sincronización capturadas en la semántica de las declaraciones de las…Jul 20, 2018Jul 20, 2018
margarcuaeinModel Checking desde cero2.1.1 Ejecuciones de un sistema de transiciónEl comportamiento de sistema de transición ha sido descrito en un nivel intuitivo. Ahora formalizaremos usando la noción de…Jun 11, 2018Jun 11, 2018
margarcuaeinModel Checking desde cero2. Modelando Sistemas ConcurrentesUn pre-requisito para la verificación de modelos(model checking) es un modelo del sistema bajo consideración. Este capítulo introduce a los…Jun 7, 20181Jun 7, 20181
margarcuaeinModel Checking desde ceroModel Checking para el código de arranque de los centros de datos de AWS(Amazon Web Services)Este artículo describe nuestra experiencia con model checking simbólico en un entorno industrial. Hemos demostrado que el código de…Jun 6, 2018Jun 6, 2018
margarcuaeinModel Checking desde ceroCompilación de model checking probabilístico en la planificación probabilísticaAnteriormente se ha observado que la verificación de propiedades de seguridad en marcos deterministas de model checking se puede compilar…Jun 5, 2018Jun 5, 2018
margarcuaeinModel Checking desde ceroModel checking probabilístico: avances y aplicacionesLos sistemas informáticos desempeñan un rol importante en casi todos los aspectos de la vida cotidiana, incluyendo muchos ejemplos donde la…Jun 3, 2018Jun 3, 2018