research
∙
08/15/2022
Exact Separation Logic
Over-approximating (OX) program logics, such as separation logic, are us...
share
research
∙
05/31/2021
Gillian: A Multi-Language Platform for Unified Symbolic Analysis
This is an evolving document describing the meta-theory, the implementat...
research
∙
01/14/2020
Gillian: Compositional Symbolic Execution for All
We present Gillian, a language-independent framework for the development...
research
∙
11/08/2018