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 | ||
| Families: | |||
| Results: | |||