17 citations · 19 across the 6 of their papers we have counts for
1 paper · 2 filters
Ramana Nagasamudram, Anindya Banerjee, David A. Naumann
In relational verification, judicious alignment of computational steps facilitates proof of relations between programs using simple relational assertions. Relational Hoare logics (…