Linux Archive

Linux Archive (
-   Debian Development (
-   -   Bug#460885: ITP: mcrl2 -- the mCRL2 formal specification language toolset (

Paul van Tilburg 01-15-2008 12:51 PM

Bug#460885: ITP: mcrl2 -- the mCRL2 formal specification language toolset
Package: wnpp
Severity: wishlist
Owner: Paul van Tilburg <>

* Package name : mcrl2
Version : 1.0.0
Upstream Author : Jan Friso Groote <> and many others
* URL :
* 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

-- 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
with a subject of "unsubscribe". Trouble? Contact

All times are GMT. The time now is 11:59 PM.

VBulletin, Copyright ©2000 - 2014, Jelsoft Enterprises Ltd.
Content Relevant URLs by vBSEO ©2007, Crawlability, Inc.