Scientific Issues of Jan Długosz University in Częstochowa. Mathematics > 2017 > Vol. 22 > 161--175
Source
Abstract
Identifiers
journal ISSN : | 2450-9302 |
DOI | 10.16926/m.2017.22.12 |
Authors
Keywords
Additional information
Fields of science
Bibliography
-
[1] C. Baier and J.-P. Katoen. Principles of model checking. MIT Press, 2008.
-
[2] A. Biere, A. Cimatti, E. Clarke, and Y. Zhu. Symbolic model checking without BDDs. In Proceedings of the 5th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’99), volume 1579 of LNCS, pages 193–207. Springer-Verlag, 1999.
-
[3] Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Ofer Strichman, and Yunshan Zhu. Bounded model checking. Advances in Computers, 58:117–148, 2003.