TY  - THES
AU  - Rubio Cuéllar, Rubén Rafael
AU  - Rubio Cuéllar, Rubén Rafael
A3  - Martí Oliet, Narciso
A3  - Pita Andreu, Isabel
A3  - Verdejo López, José Alberto
PY  - 2022
UR  - https://hdl.handle.net/20.500.14352/3553
AB  - Formal methods in computer science are mathematically rigorous techniques to develop and verigy the correct behaviour of hardware and software systems with different degrees of automation. Usually restricted to the analysis of critical systems, their...
AB  - En la ingeniería informática, los métodos formales son técnicas matemáticamente rigurosas y en parte automatizables para desarrollar y verificar el correcto funcionamiento de sistemas hardware y software. Habitualmente restringidos al análisis de...
LA  - eng
PB  - Universidad Complutense de Madrid
KW  - Computer algorithms
KW  - rewriting systems (Computer science)
KW  - Maude (Computer program language)
KW  - Algoritmos computacionales
KW  - sistemas de reescritura
KW  - Maude (Lenguaje de programación)
TI  - Model checking of strategy-controlled systems in rewriting logic
T2  - Comprobación de modelos guiados por estrategias en lógica de reescritura
M3  - doctoral thesis
ER  -