WebHosting Paid by #1Payday.Loans
NuSMV is a re-implementation and extension of SMV, the first model checker based on BDDs. It has been designed to be an open architecture for model checking, which can be reliably used for the verification of industrial designs, as a core for custom verification tools, and as a test-bed for formal verification techniques.
URL: https://nusmv.irst.itc.it/
Author: Various Authors <nusmv@irst.itc.it>
Maintainer: Andreas V. 'netrunner' Meier <avmeier@web.de>
License: LGPL
Status: Stable
Version: 2.3.1
Download: https://nusmv.irst.itc.it/distrib/ NuSMV-2.3.1.tar.gz
Buildtime: 23824 (5) seconds (on reference hardware)
Buildtime: 22883 (9) seconds (on reference hardware)
Package Size: 24.61 MB, 692 files
Dependencies: 00-dirtree bash2 binutils bison bzip2 coreutils cvm diffutils expat
Dependencies: expat:dev findutils flex flex:dev gawk gcc42 gcc42:dev glibc26
Dependencies: glibc26:dev grep linux26-headers:dev ltrace lynx m4 make mktemp
Dependencies: ncurses ncurses:dev net-tools perl5 readline sed sysfiles tar tetex
Dependencies: util-linux xmame
ROCK Sources: nusmv.cache, nusmv.conf, nusmv.desc