1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.PL2026
Gillian Debugging: Swinging Through the (Compositional Symbolic Execution) Trees, Extended Version
Nat Karmios, Sacha-Élie Ayoun, Philippa Gardner
In recent years, compositional symbolic execution (CSE) tools have been growing in prominence and are becoming more and more applicable to real-world codebases. Still to this day,…
cs.PL2025★ 1 cited
Compositional Symbolic Execution for the Next 700 Memory Models (Extended Version)
Andreas Lööw, Seung Hoon Park, Daniele Nantes-Sobrinho +3
Multiple successful compositional symbolic execution (CSE) tools and platforms exploit separation logic (SL) for compositional verification and/or incorrectness separation logic (I…