RPP: Automatic Proof of Relational Properties by Self-composition.

Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto

Browse the full TACAS paper archive.