Foundations of Science 25 (3):541-557 (2020)

Authors
John Symons
University of Kansas
Abstract
How can we be certain that software is reliable? Is there any method that can verify the correctness of software for all cases of interest? Computer scientists and software engineers have informally assumed that there is no fully general solution to the verification problem. In this paper, we survey approaches to the problem of software verification and offer a new proof for why there can be no general solution.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s10699-019-09611-w
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 69,257
External links

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

Computing Machinery and Intelligence.Alan M. Turing - 1950 - Mind 59 (October):433-60.
On Computable Numbers, with an Application to the N Tscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.
In Defense of Proper Functions.Ruth Garrett Millikan - 1989 - Philosophy of Science 56 (June):288-302.
Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.

View all 20 references / Add more references

Citations of this work BETA

Software engineering standards for epidemiological models.Jack K. Horner & John F. Symons - 2020 - History and Philosophy of the Life Sciences 42 (4):1-24.

Add more citations

Similar books and articles

Software Intensive Science.John Symons & Jack Horner - 2014 - Philosophy and Technology 27 (3):461-477.
SP2MN: A Software Process Meta-Modeling Language.Hisham Khdair - 2015 - International Review on Computers and Software 10 (7):726-734.
On the Meaning of Free Software.M. J. Wolf, K. W. Miller & F. S. Grodzinsky - 2009 - Ethics and Information Technology 11 (4):279-286.
Problems for a Philosophy of Software Engineering.Stefan Gruner - 2011 - Minds and Machines 21 (2):275-299.
Towards a Philosophy of Software Development: 40 Years After the Birth of Software Engineering.Mandy Northover, Derrick G. Kourie, Andrew Boake, Stefan Gruner & Alan Northover - 2008 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 39 (1):85-113.
Interaction Effects in Software Piracy.Kin-Wai Lau Eric - 2007 - Business Ethics, the Environment and Responsibility 16 (1):34-47.
Interaction Effects in Software Piracy.Eric Kin‐wai Lau - 2007 - Business Ethics, the Environment and Responsibility 16 (1):34-47.
Toward a Profile of Student Software Piraters.Ronald R. Sims, Hsing K. Cheng & Hildy Teegen - 1996 - Journal of Business Ethics 15 (8):839 - 849.

Analytics

Added to PP index
2019-06-03

Total views
9 ( #947,777 of 2,499,775 )

Recent downloads (6 months)
2 ( #278,202 of 2,499,775 )

How can I increase my downloads?

Downloads

My notes