8 citations · 10 across the 3 of their papers we have counts for
1 paper · 2 filters
Felix A. Wolf, Malte Schwerhoff, Peter Müller
Modern separation logics allow one to prove rich properties of intricate code, e.g. functional correctness and linearizability of non-blocking concurrent code. However, this expres…