Browsing Ciencias by Author "Hidalgo Doblado, María José"
Now showing items 1-2 of 2
-
Master's Final Project
Formalización de cáculos lógicos en Isabelle/Hol
Mateo Ceballos, María Dolores (2017-06)Natural deduction is a sound and complete proof procedure for propositional logic, that is, it only proves valid formulas ...
-
Master's Final Project
Verificación formal de la lógica de Hoare en Isabelle/HOL
González Blanco, Natividad (2016-09)Hoare logic is a formal system developed by C.A.R. Hoare. This logic was introduced to verify formally imperative programs. ...