Communications of the Acm 31 (9):1048--1063 (1988)
| Abstract |
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.
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| Options |
Mark as duplicate
Export citation
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
Computer Simulations in Science and Engineering. Concept, Practices, Perspectives.Juan Manuel Durán - 2018 - Springer.
The Derivation-Indicator View of Mathematical Practice.Jody Azzouni - 2004 - Philosophia Mathematica 12 (2):81-106.
Philosophy of Computer Science: An Introductory Course.William J. Rapaport - 2005 - Teaching Philosophy 28 (4):319-341.
Abstraction in Computer Science.Timothy Colburn & Gary Shute - 2007 - Minds and Machines 17 (2):169-184.
View all 36 citations / Add more citations
Similar books and articles
Deductive Program Verification (a Practitioner's Commentary).David A. Nelson - 1992 - Minds and Machines 2 (3):283-307.
The Use of a Formal Simulator to Verify a Simple Real Time Control Program.Robert Boyer - manuscript
Program Verification and Functioning of Operative Computing Revisited: How About Mathematics Engineering? [REVIEW]Uri Pincas - 2011 - Minds and Machines 21 (2):337-359.
Is “Some-Other-Time” Sometimes Better Than “Sometime” for Proving Partial Correctness of Programs?Ildikó Sain - 1988 - Studia Logica 47 (3):279 - 301.
Verificationist Theory of Meaning.Markus Schrenk - 2008 - In U. Windhorst, M. Binder & N. Hirowaka (eds.), Encyclopaedic Reference of Neuroscience. Springer.
Philosophical Aspects of Program Verification.James H. Fetzer - 1991 - Minds and Machines 1 (2):197-216.
Program Verification, Defeasible Reasoning, and Two Views of Computer Science.Timothy R. Colburn - 1991 - Minds and Machines 1 (1):97-116.
Analytics
Added to PP index
2009-04-07
Total views
122 ( #90,679 of 2,462,870 )
Recent downloads (6 months)
6 ( #119,641 of 2,462,870 )
2009-04-07
Total views
122 ( #90,679 of 2,462,870 )
Recent downloads (6 months)
6 ( #119,641 of 2,462,870 )
How can I increase my downloads?
Downloads
