Philippa was one of the speakers at the Interactive Knowledge Shares session of this year’s HASE, the Workshop on High Assurance Systems Engineering

HASE, part of POPL, aims to bring about new collaborations and launch shared initiatives to provide high levels of assurance about the correct operation and security properties of production systems (software and hardware).

Philippa presented Gillian, a language independent framework supporting compositional symbolic analysis. Gillian supports three flavours of analysis: whole-program symbolic testing, full verification, and bi-abduction. It comes with fully parametric meta-theoretical results and a modular implementation, designed to minimise the instantiation effort required of the user.