Home → Magazine Archive → September 1988 (Vol. 31, No. 9) → Program verification: the very idea → Abstract

Program verification: the very idea

By James H. Fetzer

Communications of the ACM, Vol. 31 No. 9, Pages 1048-1063

The notion of program verification appears to trade upon an equivocation. Algorithms, as logical structures, are appropriate subjects for deductive verification. Programs, as causal models of those structures, are not. The success of program verification as a generally applicable and completely reliable method for guaranteeing program performance is not even a theoretical possibility.

The full text of this article is premium content


No entries found