VeriMAP: A Tool for Verifying Programs through Transformations.

Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti

Browse the full TACAS paper archive.