Living in a Cyber-Enabled World
Making Software 'Correct by Construction'. 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.
An independent consultant systems engineer and non-executive director, Professor Martyn Thomas is an internationally recognised expert in safety-critical or security-critical, software intensive systems, software engineering, and cybersecurity.
(from gresham.ac.uk)
| 11. Making Software 'Correct by Construction' |
Go to the Course Home or watch other lectures: