Show simple item record

dc.contributor.authorSymons, John
dc.contributor.authorHorner, Jack J.
dc.date.accessioned2019-07-31T14:02:18Z
dc.date.available2019-07-31T14:02:18Z
dc.date.issued2019-06-03
dc.identifier.citationSymons, J., & Horner, J. K. (2019). Why There is no General Solution to the Problem of Software Verification. Foundations of Science. doi:10.1007/s10699-019-09611-wen_US
dc.identifier.urihttp://hdl.handle.net/1808/29420
dc.description.abstractHow 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.en_US
dc.description.sponsorshipThe National Security Agency through the Science of Security initiative contract #H98230-18-D-0009.en_US
dc.publisherSpringeren_US
dc.rights© Springer Nature B.V. 2019en_US
dc.subjectSoftware verificationen_US
dc.subjectErroren_US
dc.subjectModel checkeren_US
dc.subjectPhilosophy of computer scienceen_US
dc.titleWhy There is no General Solution to the Problem of Software Verificationen_US
dc.typeArticleen_US
kusw.kuauthorSymons, John
kusw.kudepartmentPhilosophyen_US
dc.identifier.doi10.1007/s10699-019-09611-wen_US
dc.identifier.orcidhttps://orcid.org/0000-0001-8173-2948en_US
kusw.oaversionScholarly/refereed, author accepted manuscripten_US
kusw.oapolicyThis item meets KU Open Access policy criteria.en_US
dc.rights.accessrightsOpenAccessen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record