NuSMV 2.6.0 для macOS можно бесплатно скачать с нашего сайта. Наш встроенный антивирус просканировал эту закачку и признал ее как надежную для скачивания.
Последняя версия файла установки, которую вы можете скачать занимает 4.6 MB. Это бесплатное приложение для macOS было разработано Andrew Heard. NuSMV принадлежит к категории Разработчикам.
От разработчика:
NuSMV is a symbolic model checker for the analysis of synchronous finite-state and infinite-state systems. NuSMV is a reimplementation and extension of SMV, the first model checker based on BDDs.
Мы предлагаем оценить другие macOS программы, такие как Solibri Model Checker, PiXel Check или Grammarly Spell Checker & Grammar, которые часто используются вместе с NuSMV.