Verifying Relational Properties using Trace Logic.

Gilles Barthe, Renate Eilers, Pamina Georgiou, Bernhard Gleiss, Laura Kovcs, Matteo Maffei

Browse the full FMCAD paper archive.