From 0f700009f73c02edde1fd7f2eff87076c4d13d1f Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Wed, 12 Feb 2020 15:50:49 +0000 Subject: [PATCH] Update 2020-01-22-hase.md --- _posts/2020-01-22-hase.md | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/_posts/2020-01-22-hase.md b/_posts/2020-01-22-hase.md index 1b9381f..0aedf59 100644 --- a/_posts/2020-01-22-hase.md +++ b/_posts/2020-01-22-hase.md @@ -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 -- GitLab