Checking System Properties via Integer Programming.

Stephan Melzer, Javier Esparza

Browse the full ESOP paper archive.