Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC

FMCAD '07 submission

Authors: Jocelyn Simmonds, Jessica Davies, Arie Gurfinkel and Marsha Chechik

We have made the following available with our submission: