VaqTree

From SE Wiki
Revision as of 15:37, 22 December 2010 by 128.100.4.130 (Talk)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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