"There is more than seventy years of history behind attempts to verify that programs behave correctly."
King's College Cambridge preserves the archival record of Turing's 1949 paper on checking a large program. It establishes an early historical foundation for the manuscript's progression from traditional program verification to modern automated evaluation.
View Source