TY  - THES
AU  - Martín, Óscar
A3  - Verdejo López, José Alberto
A3  - Martí Oliet, Narciso
PY  - 2013
UR  - https://hdl.handle.net/20.500.14352/36311
AB  - Presentamos la implementación de un model checker para sistemas con una cantidad de estados potencialmente infinita. Se ha desarrollado sobre el lenguaje y el sistema Maude, basado en lógica de reescritura. Los sistemas que se quieran analizar también...
LA  - eng
KW  - Sistema de infinitos estados
KW  - Lógica de reescritura
KW  - Maude
KW  - Model checking
KW  - Estrategia
KW  - Lógica temporal
KW  - TLR*
KW  - Fórmula de garantía
KW  - Protocolo de coherencia de caché. Infinite-state system
KW  - Rewriting logic
KW  - Strategy
KW  - Temporal logic
KW  - Guarantee formula
KW  - Cache coherence protocol.
TI  - Model checking TLR* guarantee formulas on infinite systems
M3  - master thesis
ER  -