Publication: Model checking of strategy-controlled systems in rewriting logic
Loading...
Files
Official URL
Full text at PDC
Publication Date
2022-03-29
Advisors (or tutors)
Editors
Journal Title
Journal ISSN
Volume Title
Publisher
Universidad Complutense de Madrid
Citations
Exportar
Abstract
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...
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 sistemas críticos, su aplicación se ha popularizado con el avance de las técnicas y se ha extendido tamién a otras disciplinas. Una verificación formal automatizada necesita lenguajes precisos y expresivos para describir el funcionamiento del sistema y sus propiedades en cuestión, junto con algoritmos que comprueben o ayuden a comprobar si estás se satisfacen
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 sistemas críticos, su aplicación se ha popularizado con el avance de las técnicas y se ha extendido tamién a otras disciplinas. Una verificación formal automatizada necesita lenguajes precisos y expresivos para describir el funcionamiento del sistema y sus propiedades en cuestión, junto con algoritmos que comprueben o ayuden a comprobar si estás se satisfacen
Description
Tesis inédita de la Universidad Complutense de Madrid, Facultad de Informática, Departamento de Sistemas Informáticos y Computación, leída el 27-01-2022