Skip to content
Hallway
0:00 / 0:00

#correctbyconstruction#tokeneer#ada

Making Software 'Correct by Construction' - Professor Martyn Thomas CBE

Gresham College

457K subscribers • 1 video on Hallway

YouTube
  • Recommended by 2 people: 1 on Lobsters and 1 in engineering communities.
  • Presented by Martyn Thomas, Professor of Information Technology at Gresham College

Intermediate. Assumes working knowledge.

7.5K views9 years ago2 recommendations

Software designComputer scienceFormal methods and verificationTestingSoftware architecture

Martyn Thomas discusses the Tokeneer project and explains how formal methods can be used to build highly reliable software cost-effectively.

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? gresham.ac.uk/lectures-and-events/making-software-correct-by… 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: gresham.ac.uk/lectures-and-events/making-software-correct-by… 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. Website: gresham.ac.uk Twitter: twitter.com/GreshamCollege Facebook: facebook.com/greshamcollege Instagram: instagram.com/greshamcollege

Why it's here

2 people recommend this

What people say. Recommended for its empirical data showing how formal methods and correct-by-construction techniques drastically reduce software defects.

Moments people linked to

adaszkoon Lobsters • Recommends

Making Software 'Correct by Construction'
6View on Lobsters

u/micronian2in r/programming • Recommends

On “Making Software 'Correct by Construction' - Professor Martyn Thomas CBE”

A few of the many interesting points in the video: 1. Table showing very low defect rates across various projects ([video 2. The Tokeneer Project ([video 3. Metrics from the Tokeneer Project ([video 4. Evidence that the benefits of CbC is repeatable ([video
3View on Reddit