research
∙
08/22/2022
Verification-Preserving Inlining in Automatic Separation Logic Verifiers (extended version)
Bounded verification has proved useful to detect bugs and to increase co...
share
research
∙
05/23/2022
Sound Automation of Magic Wands (extended version)
The magic wand -* (also called separating implication) is a separation l...
research
∙
05/29/2021
