Foundations of Science 25 (3):541-557 (2020)
| Authors |
|
| 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 |
Mark as duplicate
Export citation
|
Download options
References found in this work BETA
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.
Computing Machinery and Intelligence.Alan M. Turing - 2003 - In John Heil (ed.), Philosophy of Mind: A Guide and Anthology. Oxford University Press.
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.
Epistemic injustice and data science technologies.John Symons & Ramón Alvarado - 2022 - Synthese 200 (2):1-26.
What Can Artificial Intelligence Do for Scientific Realism?Petr Spelda & Vit Stritecky - 2020 - Axiomathes 31 (1):85-104.
Similar books and articles
Computational Idealizations in Software Intensive Science: A Comment on Symons’ and Horner’s Paper.Nicola Angius - 2014 - Philosophy and Technology 27 (3):479-484.
An Evaluation of Agile Software Methodology Techniques.Anuradha Sutharshan & Stanislaw Maj - unknown
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.
Kant and the Software Crisis: Suggestions for the Construction of Human-Centred Software Systems. [REVIEW]Marco C. Bettoni - 1995 - AI and Society 9 (4):396-401.
Understanding Error Rates in Software Engineering: Conceptual, Empirical, and Experimental Approaches.Jack K. Horner & John Symons - 2019 - Philosophy and Technology 32 (2):363-378.
Situational Determinants of Software Piracy: An Equity Theory Perspective. [REVIEW]Richard S. Glass & Wallace A. Wood - 1996 - Journal of Business Ethics 15 (11):1189 - 1198.
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 )
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
