40 citations · 43 across the 2 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2021
Gillian: A Multi-Language Platform for Unified Symbolic Analysis
Petar Maksimović, José Fragoso Santos, Sacha-Élie Ayoun +1
This is an evolving document describing the meta-theory, the implementation, and the instantiations of Gillian, a multi-language symbolic analysis platform.
cs.PL2020★ 3 cited
Gillian: Compositional Symbolic Execution for All
José Fragoso Santos, Petar Maksimović, Sacha-Élie Ayoun +1
We present Gillian, a language-independent framework for the development of compositional symbolic analysis tools. Gillian supports three flavours of analysis: whole-program symbol…