Bug#460885: ITP: mcrl2 -- the mCRL2 formal specification language toolset

[Paul van Tilburg <paulvt@debian.org>]

Package: wnpp
Severity: wishlist
Owner: Paul van Tilburg <paulvt@debian.org>

* Package name    : mcrl2
  Version         : 1.0.0
  Upstream Author : Jan Friso Groote <j.f.groote@tue.nl> and many others
* URL             : http://www.mcrl2.org/
* License         : Boost Software License (MIT-like),
                    3rd-party software under BSD/LGPL license
  Programming Lang: C++/C
  Description     : the mCRL2 formal specification language toolset

mCRL2 stands for micro Common Representation Language 2.  It is a
specification language that can be used to specify and analyse the
behaviour of distributed systems and protocols and is the successor to
muCRL.  Using its accompanying toolset, systems can be analysed and
verified automatically.

This toolset supports a collection of tools for linearisation, simulation,
state-space exploration and generation and tools to optimise and analyse
specifications.  Moreover, state spaces can be manipulated, visualised and
analysed.

-- System Information:
Debian Release: lenny/sid
  APT prefers unstable
  APT policy: (500, 'unstable'), (500, 'testing'), (102, 'experimental')
Architecture: powerpc (ppc)

Kernel: Linux 2.6.18-4-powerpc
Locale: LANG=en_US.UTF-8, LC_CTYPE=nl_NL.UTF8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash