Revision history of "Hoare logic"

Jump to: navigation, search

Diff selection: Mark the radio boxes of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

  • (cur | prev) 16:19, 31 August 2016‎ Karl Jones (Talk | contribs)‎ . . (1,068 bytes) (+1,068)‎ . . (Created page with "'''Hoare logic''' (also known as '''Floyd–Hoare logic''' or '''Hoare rules''') is a formal system with a set of logical rules for reasoning rigorously about the Correc...")
Retrieved from "http://wiki.karljones.com/index.php/Hoare_logic"