NuSMV (Q17072293)
Jump to navigation
Jump to search
reimplementation and extension of SMV model checker
Language | Label | Description | Also known as |
---|---|---|---|
English | NuSMV |
reimplementation and extension of SMV model checker |
Statements
It is maintained by Fondazione Bruno Kessler, the successor organization of ITC-IRST. (English)
Identifiers
Sitelinks
Wikipedia(1 entry)
- enwiki NuSMV