Exploiting resolution proofs to speed up LTL vacuity detection for BMC

Author: Simmonds Jocelyn   Davies Jessica   Gurfinkel Arie   Chechik Marsha  

Publisher: Springer Publishing Company

ISSN: 1433-2779

Source: International Journal on Software Tools for Technology Transfer, Vol.12, Iss.5, 2010-09, pp. : 319-335

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next