Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation.

Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni

Browse the full LOPSTR paper archive.