Model checking of strategy-controlled systems in rewriting logic

  1. Rubio Cuéllar, Rubén Rafael
Dirixida por:
  1. José Alberto Verdejo López Director
  2. Isabel Pita Andreu Director
  3. Narciso Martí Oliet Director

Universidade de defensa: Universidad Complutense de Madrid

Fecha de defensa: 27 de xaneiro de 2022

Tribunal:
  1. David de Frutos Escrig Presidente
  2. Miguel Palomino Tarjuelo Secretario
  3. María Alpuente Frasnedo Vogal
  4. Christiano de Oliveira Braga Vogal
  5. Dorel Lucano Vogal
Departamento:
  1. Sistemas Informáticos y Computación

Tipo: Tese

Teseo: 157935 DIALNET lock_openDocta Complutense editor

Resumo

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...