Model checking of strategy-controlled systems in rewriting logic
- José Alberto Verdejo López Zuzendaria
- Isabel Pita Andreu Zuzendaria
- Narciso Martí Oliet Zuzendaria
Defentsa unibertsitatea: Universidad Complutense de Madrid
Fecha de defensa: 2022(e)ko urtarrila-(a)k 27
- David de Frutos Escrig Presidentea
- Miguel Palomino Tarjuelo Idazkaria
- María Alpuente Frasnedo Kidea
- Christiano de Oliveira Braga Kidea
- Dorel Lucano Kidea
Mota: Tesia
Laburpena
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 application has become popular with th advance of techiniques and has been extended to other disciplines as well. Computer-aided formal verification requires precise and expressive languages to describe the behavior of the system and the properties in question, along with algorithms to check or help to check whether these are satisfied...