28 citations · 61 across the 6 of their papers we have counts for
1 paper · 1 filter
Alejandro Aguirre, Gilles Barthe, Marco Gaboardi +2
Relational program verification is a variant of program verification where one can reason about two programs and as a special case about two executions of a single program on diffe…