# NuSMV

> reimplementation and extension of SMV model checker

**Wikidata**: [Q17072293](https://www.wikidata.org/wiki/Q17072293)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/NuSMV)  
**Source**: https://4ort.xyz/entity/nusmv


## References

1. [Source](https://nusmv.fbk.eu/static/lgpl2.1.txt)