Package: wnpp Severity: wishlist Owner: Eike Dehling <[EMAIL PROTECTED]>
* Package name : spin Version : 4.2.4 Upstream Author : Bell-Labs <[EMAIL PROTECTED]> * URL : http://www.spinroot.com/ * License : Free(as in, no license) for non-commercial use, commercial use requires this license: http://cm.bell-labs.com/cm/cs/what/spin/spin_license.html Description : Powerfull model checking and software verification tool Spin is a tool for model checking / software verification. It can check a model described in it's C-like modeling language to verify assertions. It can handle multiple concurrent processes, embedded C code and several forms of inter-process communication. It will also use optimization techniques to scale to checking big models. -- System Information: Debian Release: 3.1 APT prefers testing APT policy: (500, 'testing') Architecture: i386 (i686) Kernel: Linux 2.6.3 Locale: LANG=C, LC_CTYPE=C (charmap=ANSI_X3.4-1968) -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
