|
nu-smv
☆
« Back to VersTracker
|
||||||||||
|
Description: Reimplementation and extension of SMV symbolic model checker |
||||||||||
| Type: Formula | Tracked Since: Mar 11, 2023 | ||||||||||
| Links: Homepage | formulae.brew.sh | ||||||||||
| Install: brew install nu-smv | ||||||||||
| Version History | ||||||||||
|