Bug#460885: ITP: mcrl2 -- the mCRL2 formal specification language toolset
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
Reply to: