Homepage
Open in app
Sign in
Get started
Model Checking desde cero
para principiantes
Artículos
Principios de model checking
SPIN model checker
Follow
Aumento de la usabilidad de la verificación de código C basada en spin utilizando un lenguaje de…
Aumento 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…
Jair Huaman
Jul 20, 2018
3.9 Comunicación Rendezvous
3.9 Comunicación Rendezvous
Hasta ahora hemos hablado de la comunicación asíncrona entre procesos a través de canales de mensajes que se declaran, por ejemplo, como
margarcuae
Jul 20, 2018
3.6 Canales de mensajes
3.6 Canales de mensajes
Los canales de mensajes se usan para modelar el intercambio de datos entre procesos. Se declaran local o globalmente. En la declaración
margarcuae
Jul 20, 2018
Principios de Model Checking
2.1.2 Sistemas dependientes de datos (Parte 2)
2.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 en
Jair Huaman
Jun 14, 2018
2.13 Gráfico de programa (PG)
2.13 Gráfico de programa (PG)
Un gráfico de programa(PG) sobre conjunto Var de variables escritas es una tupla
Jair Huaman
Jun 14, 2018
2.2 Paralelismo y Comunicación (Parte 3)
2.2 Paralelismo y Comunicación (Parte 3)
En el post previo vimos que podíamos modelar concurrencia de procesos independiente, usando el operador de entrelazado ||| . Sin embargo es…
Luis Bernal Chahuayo
Jun 11, 2018
Artículos relacionados a Model Checking
Cómo descubrir un malware utilizando la verificación de modelo
El sistema operativo Android está constantemente saturado por nuevas amenazas sofisticadas y nuevos ataques de día cero. Mientras que el…
Jair Huaman
Jun 6, 2018
Verificación de generadores de código a través de un control de modelo de orden superior
La generación dinámica de código es útil para optimizar el código con respecto a la información disponible sólo en tiempo de ejecución…
Jair Huaman
Jun 6, 2018
Detección de Troyanos de Hardware usando ATPG y Model Checking
La amenaza de la existencia de troyanos por hardware en los circuitos integrados se ha convertido en una gran preocupación en la industria…
Jair Huaman
Jun 6, 2018
About Model Checking desde cero
Latest Stories
Archive
About Medium
Terms
Privacy
Teams