Home Table of Contents News Blogs Opinion Research Practice Contributed Articles Review Articles Careers Archive Videos About Communications
Sign In
advertisement

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
10.1145/48529.48530

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

0 Comments

No entries found