Software faults cause widespread problems in society. Symbolic verification provides promising solutions to these problems. The field is coming of age: verification techniques scale; tools are tractable; and real-world programs can be verified. These meetings bring together academics, industrial experts and government scientists to identify key challenges in establishing verification at the heart of the software design process.
Recorded audio and video of the meetings is available here
Royal Society Scientific Meeting
The meeting was held at The Royal Society, London, 4th-5th April 2016.
Over two hundred participants took part in the discussions, comprising verification experts, systems and security experts interested in verification, industrialists using verification, and government scientists. The very engaged audience addressed the current state of the field and the opportunities that verification offers to tackle challenges in cyber security and the certification of software.
Specialist Meeting at Imperial College
The meeting was hosted by the Department of Computing, Imperial College London, 6th-7th April 2016.
A very engaged group of renowned experts as well as promising young researchers from the fields of verification, systems, and security got together to discuss current work in verification and trustworthy systems.