FV2017: Are We There Yet?

Conference: Formal Verification 2017
Speaker: Rod Chapman, (Principal Engineer) Altran UK
Presentation Title: Are we there yet? Twenty years of formal verification in critical software…
Abstract: This talk reflects on twenty years of applying formal verification in the development of critical software systems, from early projects such as the Typhoon aircraft and the SHOLIS system, to more recent efforts including the NATS iFACTS system. We’ll reflect on what “Formal” really means in the context of software development, what’s holding back wider adoption, and some encouraging signs for the future.

  • Formal for software really can work
  • Every software project uses at least one formal language.
  • Disappearing formal methods are all around you.
Speaker Bio: Rod Chapman is a Principal Engineer in the Intelligent Systems Expertise Centre of Altran UK. He specializes in the design, implementation and verification of high-integrity software. For many years, Rod led the programming language and software verification research group at Altran, and has more recently led Altran’s efforts to merge the best of the Lean, Agile and Formal development approaches to form a single coherent whole. He is a regular and renowned speaker on these topics, and is a Fellow of both the BCS and the IET.

Altran UK

View the Presentation Material: