CoVaC: Compiler Validation by Program Analysis of the Cross-Product.

Anna Zaks, Amir Pnueli

Browse the full FM paper archive.