Philippa gave a talk on Verified Trustworthy Software Specification at this year’s High Integrity Software (HIS) Conference.

Now in its sixth year, HIS aims to create a forum to share challenges, best practice and experience between software engineering practitioners. This year’s HIS conference, under the theme: Assuring security and safety for critical software applications, focussed on cyber safety for embedded systems, innovations in testing and the application of formal methods to achieve cyber security.