Jair HuamaninModel Checking desde ceroAumento de la usabilidad de la verificación de código C basada en spin utilizando un lenguaje de…Esta es una traducción del paper Increasing Usability of Spin-Based C Code Verification using a Harness Definition Language: Leveraging…Jul 20, 2018Jul 20, 2018
Jair HuamanAumento de la usabilidad de la verificación de código C basada en spin utilizando un lenguaje de…Esta es una traducción del paper Increasing Usability of Spin-Based C Code Verification using a Harness Definition Language: Leveraging…Jul 20, 2018Jul 20, 2018
Jair HuamaninModel Checking desde cero3. Una visión general de PROMELALos modelos PROMELA se basan en los aspectos de coordinación y sincronización de un sistema distribuido, y no en sus aspectos…Jul 20, 2018Jul 20, 2018
Jair HuamaninModel Checking desde cero2.7 Paso de mensajesHasta el momento, no hemos mostrado ningún ejemplo del uso del envío de mensajes entre procesos asincrónicos. Vamos a remediar eso ahora…Jul 20, 2018Jul 20, 2018
Jair HuamaninModel Checking desde ceroEjemplo 2.5. Algoritmo de exclusión mutua de Peterson (1981)Gran parte del algoritmo parece familiar, aparte de la maravillosa simplicidad de la solución. Ahora podemos preguntarnos de nuevo, ¿no…Jul 20, 2018Jul 20, 2018
Jair HuamaninModel Checking desde cero2.6 Exclusión mutuaQuizás el mejor ejemplo de la dificultad de diseñar esquemas de coordinación correctos para ejecutar procesos de forma asíncrona es el…Jul 20, 2018Jul 20, 2018
Jair HuamaninModel Checking desde cero2.1.2 Sistemas dependientes de datos (Parte 2)Las acciones ejecutables de un sistema dependiente de datos normalmente resultan de una bifurcación condicional, como enJun 14, 2018Jun 14, 2018
Jair HuamaninModel Checking desde cero2.13 Gráfico de programa (PG)Un gráfico de programa(PG) sobre conjunto Var de variables escritas es una tuplaJun 14, 2018Jun 14, 2018
Jair HuamaninModel Checking desde cero2.1.2 Modelado de sistemas de hardware y softwareEsta sección ilustra el uso de sistemas de transición mediante la elaboración de modelos de circuitos de hardware (síncronos) y sistemas…Jun 11, 2018Jun 11, 2018
Jair HuamanModelado de sistemas de hardware y softwareEsta sección ilustra el uso de sistemas de transición mediante la elaboración de modelos de circuitos de hardware (síncronos) y sistemas…Jun 7, 2018Jun 7, 2018