Package: wnpp Severity: wishlist Owner: Paul van Tilburg <[EMAIL PROTECTED]>
* Package name : mcrl2 Version : 1.0.0 Upstream Author : Jan Friso Groote <[EMAIL PROTECTED]> 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 -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
