An Efficient VCGen-Based Modular Verification of Relational Properties.

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

Browse the full ISoLA paper archive.