NashMV
- Details
- Category: Software
- Last Updated on Friday, 31 March 2017 09:53
By suitably modifying the NuSMV model checker, NashMV implements the algorithms described in [SSS 2009, FMCAD 2008].
The bitbucket page for NashMV is here
The current version of NashMV may be downloaded here.
| Browse all versions | |||
|---|---|---|---|
| name | comments | file | size |
| NashMV 2.1 | latest version | NashMV-2.1.tgz | 3.3 MB |
© Model Checking Group -