8 citations · 10 across the 3 of their papers we have counts for
1 paper · 1 filter
Marco Eilers, Malte Schwerhoff, Peter Müller
Most automated program verifiers for separation logic use either symbolic execution or verification condition generation to extract proof obligations, which are then handed over to…