Why There is no General Solution to the Problem of Software Verification

Authors :: Symons, John
Horner, Jack K.
Source :: Foundations of Science. September, 2020, Vol. 25 Issue 3, p541, 17 p.
Publication Year :: 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.<br />Author(s): John Symons [sup.1], Jack K. Horner [sup.1] [sup.2] Author Affiliations: (1) grid.266515.3, 0000 0001 2106 0692, Department of Philosophy, University of Kansas, , Wescoe Hall 1445 Jayhawk Blvd, 66045-7590, [...]