VaqUoT

VaqUoT: A tool for vacuity detection.

References in zbMATH (referenced in 1 article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Schuppan, Viktor: Extracting unsatisfiable cores for LTL via temporal resolution (2016)