Author:
Déharbe David,Moreira Anamaria Martins,Ringeissen Christophe
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. NuSMV home page. http://nusmv.irst.itc.it , accessed on Apr. 23 2002.
2. A. Biere, A. Cimatti, E. M. Clarke, and Y. Zhu. Symbolic model checking without BDDs. In Tools and Algorithms for Construction and Analysis of Systems, pages 193–207, 1999.
3. P. Borovanský, C. Kirchner, H. Kirchner, P.-E. Moreau, and C. Ringeissen. An Overview of ELAN. In C. Kirchner and H. Kirchner, editors, Proc. Second Intl. Workshop on Rewriting Logic and its Applications, Electronic Notes in Theoretical Computer Science, Pont-à-Mousson (France), Sept. 1998. Elsevier.
4. Lect Notes Comput Sci;E. Clarke,1981
5. E. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press.