Fundamenta Informaticae > 2008 > Vol. 85, nr 1-4 > 513-531
Source
Abstract
Identifiers
journal ISSN : | 0169-2968 |
journal e-ISSN : | 1875-8681 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
[1] A. Biere, A. Cimatti, E. Clarke, M.Fujita, and Y. Zhu. Symbolic model checking using SAT procedures instead of BDDs. In Proc. of the ACM/IEEE Design Automation Conference (DAC'99), pages 317-320, 1999.
-
[2] E. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 1999.
-
[3] E.M. Clarke, D. Kroening, J. Ouaknine, and O. Strichman. Completeness and complexity of bounded model checking. In B. Steffen and G. Levi, editors, VMCAI, volume 2937 of Lecture Notes in Computer Science, pages 85-96. Springer, 2004.