[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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:
  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: