Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC.

Jocelyn Simmonds, Jessica Davies, Arie Gurfinkel, Marsha Chechik

Browse the full FMCAD paper archive.