David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
Minds and Machines 1 (1):97-116 (1991)
In this paper I attempt to cast the current program verification debate within a more general perspective on the methodologies and goals of computer science. I show, first, how any method involved in demonstrating the correctness of a physically executing computer program, whether by testing or formal verification, involves reasoning that is defeasible in nature. Then, through a delineation of the senses in which programs can be run as tests, I show that the activities of testing and formal verification do not necessarily share the same goals and thus do not always constitute alternatives. The testing of a program is not always intended to demonstrate a program's correctness. Testing may seek to accept or reject nonprograms including algorithms, specifications, and hypotheses regarding phenomena. The relationship between these kinds of testing and formal verification is couched in a more fundamental relationship between two views of computer science, one properly containing the other.
|Keywords||Program verification program testing defeasible reasoning philosophy of computer science|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
G. Aldo Antonelli (2005). Grounded Consequence for Defeasible Logic. Cambridge University Press.
Amnon H. Eden (2007). Three Paradigms of Computer Science. Minds and Machines 17 (2):135-167.
Edward Yalow (1977). Yaq: A 360 Assembler Version of the Algorithm Aq and Comparison with Other Pl/I Programs. Department of Computer Science, University of Illinois at Urbana-Champaign.
Gordon McCabe (2005). Universe Creation on a Computer. Studies in History and Philosophy of Science Part B 36 (4):591-625.
James H. Fetzer (1991). Philosophical Aspects of Program Verification. Minds and Machines 1 (2):197-216.
N. Shankar (1994). Metamathematics, Machines, and Gödel's Proof. Cambridge University Press.
Alan W. Richardson (1992). Philosophy of Science and Its Rational Reconstructions: Remarks on the VPI Program for Testing Philosophies of Science. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1992:36 - 46.
Robert L. Causey (2003). Computational Dialogic Defeasible Reasoning. Argumentation 17 (4):421-450.
David A. Nelson (1992). Deductive Program Verification (a Practitioner's Commentary). Minds and Machines 2 (3):283-307.
James H. Fetzer (1988). Program Verification: The Very Idea. Communications of the Acm 31 (9):1048--1063.
Added to index2009-01-28
Total downloads30 ( #115,397 of 1,780,850 )
Recent downloads (6 months)1 ( #291,797 of 1,780,850 )
How can I increase my downloads?