My model checker died!: how well did it do?

Esteban Pavese, Vctor A. Braberman, Sebastin Uchitel

Browse the full ICSE paper archive.