Making Software ‘Correct by Construction’ [MAY 02, 2017]

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.

Lecture Date: Tuesday, 2nd May 2017 – 6:00pm at The Museum of London, 150 London Wall, London, EC2Y 5HN

No reservations are required for this lecture. It will be run on a ‘first come, first served’ basis.
Doors will open 30 minutes before the start of the lecture.


DOWNLOADS: [awaiting downloads, please contact for early requests]

Lecture Transcript (WORD FILE)Lecture Slides (PPT)View/add Comments

Leave a Reply