×

zbMATH — the first resource for mathematics

NuSMV: A new symbolic model verifier. (English) Zbl 1046.68587
Halbwachs, Nicolas (ed.) et al., Computer aided verification. 11th international conference, CAV ’99. Trento, Italy, July 6–10, 1999. Proceedings. Berlin: Springer (ISBN 3-540-66202-2). Lect. Notes Comput. Sci. 1633, 495-499 (1999).
For the entire collection see [Zbl 0925.68015].

MSC:
68Q60 Specification and verification (program logics, model checking, etc.)
Software:
NuSMV
PDF BibTeX XML Cite