Commit 0f700009 authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia

Update 2020-01-22-hase.md

parent 8a78921d
Pipeline #124952 passed with stages
in 5 minutes and 3 seconds
......@@ -6,13 +6,12 @@ Philippa was one of the speakers at the [Interactive Knowledge
Shares session](https://popl20.sigplan.org/details/hase-2020-papers/2/Interactive-Knowledge-Shares)
of this year’s [HASE, the Workshop on High Assurance Systems Engineering]( https://popl20.sigplan.org/home/hase-2020)
HASE, part of [POPL](https://popl20.sigplan.org), aims to forge new collaborations
and initiatives which strive to provide
high levels of assurance about the correct operation and security properties
HASE, part of [POPL](https://popl20.sigplan.org), 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 that supports
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.
\ No newline at end of file
to minimise the instantiation effort required of the user.
\ No newline at end of file
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment