VaqTree

VaqTree: Efficient vacuity detection for bounded model checking.

References in zbMATH (referenced in 2 articles )

Showing results 1 to 2 of 2.
Sorted by year (citations)

  1. Schuppan, Viktor: Extracting unsatisfiable cores for LTL via temporal resolution (2016)
  2. Chockler, Hana; Strichman, Ofer: Before and after vacuity (2009)