RFS: spin -- software verification/model checking tool

[Eike Dehling <e.e.dehling@student.utwente.nl>]

Hi,

i'm looking for a sponsor for spin. (ITP at #296369) The license is not 
DFSG compliant, so it can only go into non-free. Linda and lintian find 
no errors or warnings.

Package name : spin
Version      : 4.2.4
Upstream Author : Bell-Labs <spin_list@spinroot.com>
URL          : http://www.spinroot.com/
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 and invatiants. It can handle multiple concurrent
  processes, embedded C code and several forms of inter-process
  communication. It will use optimization techniques to check big
  models within reasonable time.

I put the packages online at 
http://dnsspam.student.utwente.nl/~dehling/spin/ I packaged it because 
it is used at the university for homework assignments in some courses, 
and many students had trouble installing it from source.

Thanks,

Eike Dehling.