- 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
Why There is no General Solution to the Problem of Software Verification
Foundations of Science 25 (3):541-557 (2020)
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.Author's Profile
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Why There is no General Solution to the Problem of Software Verification.John Symons & Jack K. Horner - 2020 - Foundations of Science 25 (3):541-557.
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.
Infringing Software Property Rights: Ontological, Methodological, and Ethical Questions.Nicola Angius & Giuseppe Primiero - 2020 - Philosophy and Technology 33 (2):283-308.
Understanding Error Rates in Software Engineering: Conceptual, Empirical, and Experimental Approaches.Jack K. Horner & John Symons - 2019 - Philosophy and Technology 32 (2):363-378.
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.
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.
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.Eric Kin-wai Lau - 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.
Analytics
Added to PP
2019-08-16
Downloads
34 (#467,440)
6 months
11 (#232,073)
2019-08-16
Downloads
34 (#467,440)
6 months
11 (#232,073)
Historical graph of downloads
Author's Profile
Citations of this work
Epistemic injustice and data science technologies.John Symons & Ramón Alvarado - 2022 - Synthese 200 (2):1-26.
Software engineering standards for epidemiological models.Jack K. Horner & John F. Symons - 2020 - History and Philosophy of the Life Sciences 42 (4):1-24.
What Can Artificial Intelligence Do for Scientific Realism?Petr Spelda & Vit Stritecky - 2020 - Axiomathes 31 (1):85-104.
From Coding To Curing. Functions, Implementations, and Correctness in Deep Learning.Nicola Angius & Alessio Plebe - 2023 - Philosophy and Technology 36 (3):1-27.
References found in this work
On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.
Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
Computability and Logic.George S. Boolos, John P. Burgess & Richard C. Jeffrey - 2003 - Bulletin of Symbolic Logic 9 (4):520-521.
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-55b469568f-bl6rh uwo