HoareLogic
Last edit June 21, 2008
See
HoareTriple
, wikipedia:
http://en.wikipedia.org/wiki/Hoare_logic