Please use this identifier to cite or link to this item:
http://hdl.handle.net/2445/211740
Title: | Verificación de programas |
Author: | Rodríguez Martínez, Ana |
Director/Tutor: | Martínez Alonso, Juan Carlos |
Keywords: | Depuració (Informàtica) Enginyeria de programari Lògica de primer ordre Treballs de fi de grau Debugging in computer science Software engineering First-order logic Bachelor's theses |
Issue Date: | 17-Jan-2024 |
Abstract: | [en] Hoare’s logic is one of the main methods for verifying the partial correctness of programs. With it, it can be reasoned whether, starting from some initial conditions and assuming the execution ends, an output that meets the expected final conditions can be obtained. The main objective of this paper is to study the soundness, incompleteness and completeness in the sense of Cook of Hoare’s system. In addition, other methods related to program verification and program termination will be presented, accompanied by practical examples. [es] La lógica de Hoare es uno de los métodos principales para la verificación de la corrección parcial de programas. Con ella se puede razonar si partiendo de unas condiciones iniciales y suponiendo que termina la ejecución, se puede obtener una salida que cumpla las condiciones finales esperadas. El objetivo principal de este trabajo es estudiar la corrección, la incompletitud y la completitud en el sentido de Cook del sistema de Hoare. Además se presentarán otros métodos relacionados con la verificación y la terminación de programas acompañados de ejemplos prácticos. |
Note: | Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2024, Director: Juan Carlos Martínez Alonso |
URI: | http://hdl.handle.net/2445/211740 |
Appears in Collections: | Treballs Finals de Grau (TFG) - Matemàtiques |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
tfg_rodriguez_martinez_ana.pdf | Memòria | 480.03 kB | Adobe PDF | View/Open |
This item is licensed under a
Creative Commons License