Commit ba001830 authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia

Update 2020-01-22-hase.md

parent d6a38354
Pipeline #118285 canceled with stages
......@@ -6,9 +6,9 @@ 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 aims to forge new collaborations and initiatives which strive to provide
HASE, part of [POPL20](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
of production systems (software and hardware), part of [POPL20](https://popl20.sigplan.org)
of production systems (software and hardware).
Philippa presented Gillian, a language independent framework that supports
compositional symbolic analysis. Gillian supports three flavours of analysis:
......
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