About this document

Verificación Formal con Lógica de Hoare by ZtevenYaren is a document available to read on EtoBox.

Este documento presenta un resumen de la lógica de Hoare y su aplicación en la verificación formal de programas. Introduce conceptos como precondiciones, postcondiciones, corrección parcial y total de programas, y utiliza ternas de Hoare para describir formalmente si un algoritmo es válido o no mediante demostraciones formales. Finalmente, muestra ejemplos de ternas verdaderas y falsas para ilustrar estos conceptos.

Author

ZtevenYaren

Language

ES