WebHosting Paid by #1Payday.Loans


   The ROCK Linux project has been discontinued in 2010. Here are the old data for the historical record!

Package description for 'nusmv'

New Symbolic Model Verifier

 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.

Various other information for package 'nusmv'   (Repository 'avm')

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.cachenusmv.confnusmv.desc