Bug#296369: ITP: spin -- Powerfull model checking and software verification tool
Package: wnpp
Severity: wishlist
Owner: Eike Dehling <e.e.dehling@student.utwente.nl>
* Package name : spin
Version : 4.2.4
Upstream Author : Bell-Labs <pin_list@spinroot.com>
* 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)
Reply to: