TY  - THES
AU  - Samborski-Forlese, Julian
A3  - Palomino Tarjuelo, Miguel
A3  - Sánchez, César
PY  - 2011
UR  - https://hdl.handle.net/20.500.14352/46442
AB  - Este trabajo estudia el problema de ver si una fórmula es satisfacible—the satisfiability problem—y el problema de model checking para Regular Linear Temporal Logic (RLTL).En el contexto de la verificación de programas, el estudio de técnicas de...
LA  - eng
KW  - Verificación de programas
KW  - Model Checking
KW  - Bounded Model Checking
KW  - Regular Linear
KW  - Temporal Logic
KW  - Teoría de autómatas
KW  - Complejidad
KW  - Program Verification
KW  - Automata Theory
KW  - Complexity.
TI  - Two Algorithms for Model Checking of Regular Linear Temporal Logic
M3  - master thesis
ER  -