Program Verification using Constraint Handling Rules and Array Constraint Generalizations.

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

Browse the full CAV paper archive.