Suite Herbstritt

Download(77156.31 Kb)
Submitter: Marc Herbstritt
Description: The QBF encodings are derived from Bounded Model Checking of Blackbox Designs where the blackboxes are modelled using different styles. Details are available in Herbstritt, M. and Becker, B., 2007, February. On combining 01X-logic and QBF. In International Conference on Computer Aided Systems Theory (pp. 531-538). Springer, Berlin, Heidelberg.
Number of families: 2