Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jocelyn Simmonds, Jessica Davies, Arie Gurfinkel, Marsha Chechik. Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC. In Formal Methods in Computer-Aided Design, 7th International Conference, FMCAD 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings. pages 3-12, IEEE Computer Society, 2007. [doi]

This author has not been identified. Look up 'Jocelyn Simmonds' in GoogleThis author has not been identified. Look up 'Jessica Davies' in GoogleThis author has not been identified. Look up 'Arie Gurfinkel' in GoogleThis author has not been identified. Look up 'Marsha Chechik' in Google

runs on WebDSL