Toggle Main Menu Toggle Search

ePrints

Turing and Software Verification

Lookup NU author(s): Professor Cliff Jones

Downloads


Abstract

Modern society relies heavily on computer programs or 'software'. Nearly everyone is aware that software sometimes malfunctions – it has 'bugs'. In a little known paper from 1949, Alan Turing described a technique for Checking a Large Routine; this paper might have accelerated the development of the subject of reasoning about software by decades, but sadly this gem from Turing had little impact. The current paper sets out the challenge to which Turing was responding, compares his proposals to those that came in the late 1960s, reflects on the missing impact and offers a summary of the state of the art.


Publication metadata

Author(s): Jones CB

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2014

Pages: 14

Print publication date: 01/12/2014

Report Number: 1441

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne

URL: http://www.cs.ncl.ac.uk/publications/trs/papers/1441.pdf


Share