699 citations · 6.3k across the 117 of their papers we have counts for
1 paper · 1 filter
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…