Lógica de Hoare
De Wikipedia, a enciclopédia encyclopedia
Lógica de Hoare (também conhecida como lógica de Floyd–Hoare ou regras de Hoare) é um sistema formal com um conjunto de regras lógicas para um raciocínio rigoroso sobre a corretude na computação. Proposta em 1969 pelo cientista da computação e lógico britânico C. A. R. Hoare; e subsequencialmente aprimorada por Hoare e outros pesquisadores.[1] A idéia original havia sido idealizada pelo trabalho de Robert Floyd, que publicou um sistema similar[2] para fluxogramas.