See HoareTriple, wikipedia: http://en.wikipedia.org/wiki/Hoare_logic