Scientific Issues of Jan Długosz University in Częstochowa. Mathematics > 2011 > Vol. 16 > 153--162
Źródło
Abstrakt
Identyfikatory
ISSN czasopisma : | 2450-9302 |
Autorzy
Słowa kluczowe
Informacje dodatkowe
Obszary wiedzy
Bibliografia
-
1. R. Bryant. Binary Decision Diagrams and beyond: Enabling technologies for formal verification. In: Proceedings of the International Conference on Computer-Aided Design (ICCAD’95), pp. 236-243, 1995.
-
2. E. Clarke, A. Biere, R. Raimi, Y. Zhu. Bounded model checking using satisfiability solving. Formal Methods in System Design, 19(1), 7-34, 2001.
-
3. E.M. Clarke, O. Grumberg, D.A. Peled. Model Checking. The MIT Press, Cambridge, Massachusetts, 1999.