Static and Dynamic Verification of Relational Properties on Self-composed C Code.

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

Browse the full TAP paper archive.