Is it possible to build software so that you know that it is correct? How could this be done? Has anyone tried? What would it cost?
This lecture discusses the Tokeneer experiment conducted by the US National Security Agency, and casts some light on these questions.
The transcript and downloadable versions of the lecture are available from the Gresham College website: https://www.gresham.ac.uk/lectures-and-events/making-software-correct-by-construction
Gresham College has been giving free public lectures since 1597. This tradition continues today with all of our five or so public lectures a week being made available for free download from our website. There are currently over 2,000 lectures free to access or download from the website.