Suite Katz

Download(1400 Kb)
Submitter: Katz
Description: QBF encodings of Model Checking problems for safety properties. Details in Dershowitz, Nachum, Ziyad Hanna, and Jacob Katz. "Bounded model checking with QBF." In International Conference on Theory and Applications of Satisfiability Testing, pp. 408-414. Springer, Berlin, Heidelberg, 2005.
Number of families: 2