Building reliable computer systems is one of the central goals of computer science. The failure of Ariane 5’s maiden fiight and the Year 2000 Problem have brought to everybody’s mind to which extent our economic system and even our lives depend on correctly working software.
KeywordsProgramming Logic Information Hiding Proof Obligation Correctness Proof Instance Variable
Unable to display preview. Download preview PDF.