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:
Experimental results available in
OpenOffice
and
Excel
formats.
Extended version of the paper:
Tech Report CSRG-547
.
VaqTree is available
here
Example test cases available
here