Luis Bernal ChahuayoinModel Checking desde ceroEncontrando errores en sistemas concurrentesEl SPIN model checker, puede verificar la correctitud de un sistema concurrente, para lo cual se necesita de un modelo que refeje los…Jul 20, 2018Jul 20, 2018
Luis Bernal ChahuayoinModel Checking desde ceroComprobación de Modelos LógicosEl método que se usa para verificar la correctitud de los diseños de software es estándar en la mayoría de las disciplinas de ingeniería…Jul 20, 2018Jul 20, 2018
Luis Bernal ChahuayoinModel Checking desde ceroConstruyendo Modelos de Verificación con SPIN Model CheckerPara verificar un sistema, necesitamos describir dos cosas: el conjunto de hechos que queremos verificar y los aspectos relevantes del…Jul 20, 2018Jul 20, 2018
Luis Bernal ChahuayoinModel Checking desde cero2.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…Jun 12, 2018Jun 12, 2018
Luis Bernal ChahuayoinModel Checking desde cero2.2 Paralelismo y Comunicación (Parte 2)Ahora veremos un ejemplo de un sistema de semáforos en paralelo. Asumiremos que cada semáforo cambia de color independientemente de los…Jun 7, 2018Jun 7, 2018
Luis Bernal ChahuayoinModel Checking desde cero2.2 Paralelismo y Comunicación (Parte 1)En previos posts se introdujo la noción de sistemas de transición y también se mostro como circuitos y pequeños programas podían ser…Jun 7, 2018Jun 7, 2018
Luis Bernal ChahuayoinModel Checking desde ceroModel Checking Cuantitativo de Propiedades lineales de tiempo basados en mediciones de posibilidad…La verificación de modelos de propiedades de tiempo lineal basadas en medidas de posibilidad se estudió en trabajos previos (Li y Li…Jun 6, 2018Jun 6, 2018
Luis Bernal ChahuayoinModel Checking desde ceroAnálisis de robustez de los árboles de computación lógica difusosLa lógica CTL difusa es una extensión de la lógica de CTL clásica, que se utiliza para especificar las propiedades de los sistemas con…Jun 6, 2018Jun 6, 2018
Luis Bernal Chahuayoinrocoto.techPor qué tener una página web personal?Tener una marca personal, se ha vuelto algo imprescindible hoy en día. Esta hace que destaques entre todos los demás. Una marca personal no…Mar 11, 2018Mar 11, 2018