NUSMV: a new symbolic model checker

Publisher Website

1 March 2000

journal article
Published by Springer Science and Business Media LLC in International Journal on Software Tools for Technology Transfer

Vol. 2 (4), 410-425
https://doi.org/10.1007/s100090050046

Abstract

No abstract available

Keywords

Cited by 380 articles