VaqTree

From SE Wiki
Jump to: navigation, search

VaqTree

VaqTree is a tool that efficiently exploits the resolution proof produced by a successful run of BMC to detect vacuity of LTL properties. The goal of this tool is to detect a significant amount of vacuity when compared to the naive method, with faster runtimes. Results will be presented at FMCAD '07.

Website: VaqTree, test data and results