- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Program verification: the very idea
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.My notes
Similar books and articles
Timothy R. Colburn, James H. Fetzer, and Terry L. Rankin, eds., Program Verification Reviewed by.Leslie Burkholder - 1995 - Philosophy in Review 15 (1):22-25.
A Vindication of Program Verification.Selmer Bringsjord - 2015 - History and Philosophy of Logic 36 (3):262-277.
Deductive program verification (a practitioner's commentary).David A. Nelson - 1992 - Minds and Machines 2 (3):283-307.
Verification of concurrent programs: the automata-theoretic framework.Moshe Y. Vardi - 1991 - Annals of Pure and Applied Logic 51 (1-2):79-98.
Program verification, defeasible reasoning, and two views of computer science.Timothy R. Colburn - 1991 - Minds and Machines 1 (1):97-116.
Theory of Program Structures: Schemes, Semantics, Verification.Sheila A. Greibach - 1978 - Journal of Symbolic Logic 43 (1):154-156.
Review: Sheila A. Greibach, Theory of Program Structures: Schemes, Semantics, Verification. [REVIEW]Robert L. Constable - 1978 - Journal of Symbolic Logic 43 (1):154-156.
Program Verification-Verifying Object-Oriented Programs with KeY: A Tutorial.Wolfgang Ahrendt, Bernhard Beckert, Reiner Hahnle, Philipp Rummer & Peter H. Schmitt - 2006 - In O. Stock & M. Schaerf (eds.), Lecture Notes in Computer Science. Springer Verlag. pp. 70.
A Property of 2‐Sorted Peano Models and Program Verification.L. Csirmaz & J. B. Paris - 1984 - Mathematical Logic Quarterly 30 (19-24):325-334.
Analytics
Added to PP
2009-04-07
Downloads
166 (#120,038)
6 months
14 (#200,577)
2009-04-07
Downloads
166 (#120,038)
6 months
14 (#200,577)
Historical graph of downloads
Citations of this work
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.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-68866f4b87-7qn45 uwo