Model checking propiedades en sistemas de trazas reducidas
Autores: Santone, Antonella; Vaglini, Gigliola
Idioma: Inglés
Editor: MDPI
Año: 2014
Acceso abierto
Artículo científico
2014
Model checking propiedades en sistemas de trazas reducidas
Categoría
Ingeniería y Tecnología
Subcategoría
Ingeniería de Software
Palabras clave
Lógica temporal
Sistemas distribuidos
Modelo de orden parcial
Sistema de trazas
Reglas de reescritura
Verificación de modelos
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 32
Citaciones: Sin citaciones
La lógica temporal se ha convertido en un método bien establecido para especificar el comportamiento de sistemas distribuidos.
Descripción
La lógica temporal se ha convertido en un método bien establecido para especificar el comportamiento de sistemas distribuidos.