Talk by Peter Davies, (Thales and Imperial College London)
In this talk I will give an overview of the challenges of verification in large scale composed systems particularly in the face of cyber-attacks and will discuss progress with some of the methods that I am starting to use to provide legally sustainable arguments as well as discussing how it has been necessary to reimagine where tools are used.