12 citations · 30 across the 10 of their papers we have counts for
1 paper · 2 filters
Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco
Recent approaches to verifying programs in separation logics for concurrency have used state transition systems (STSs) to specify the atomic operations of programs. A key challenge…