all options
jessie  ] [  buster  ] [  sid  ]
[ Source: mcrl2  ]

Package: mcrl2 (201409.0-1 and others)

Links for mcrl2


Debian Resources:

Download Source Package mcrl2:


External Resources:

Similar packages:

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.

Tags: Interface Toolkit: Qt, wxWidgets

Other Packages Related to mcrl2

  • depends
  • recommends
  • suggests
  • enhances

Download mcrl2

Download for all available architectures
Architecture Version Package Size Installed Size Files
alpha (unofficial port) 201409.0-1+b2 7,324.8 kB47,896.0 kB [list of files]
amd64 201409.0-1+b2 7,302.5 kB41,872.0 kB [list of files]
arm64 201409.0-1+b2 6,638.1 kB40,384.0 kB [list of files]
armel 201409.0-1+b2 5,988.4 kB35,354.0 kB [list of files]
armhf 201409.0-1+b2 6,137.8 kB28,190.0 kB [list of files]
hppa (unofficial port) 201409.0-1+b2 7,196.1 kB48,255.0 kB [list of files]
hurd-i386 201409.0-1+b2 7,446.3 kB41,001.0 kB [list of files]
i386 201409.0-1+b2 7,580.3 kB42,003.0 kB [list of files]
kfreebsd-amd64 201409.0-1+b2 7,144.1 kB40,900.0 kB [list of files]
kfreebsd-i386 201409.0-1+b2 7,434.1 kB41,102.0 kB [list of files]
mips 201409.0-1+b2 5,728.5 kB44,364.0 kB [list of files]
mips64el 201409.0-1+b2 5,832.1 kB45,585.0 kB [list of files]
mipsel 201409.0-1+b2 5,862.4 kB44,373.0 kB [list of files]
powerpcspe (unofficial port) 201409.0-1+b1 6,328.9 kB42,464.0 kB [list of files]
ppc64 (unofficial port) 201409.0-1+b3 6,892.6 kB50,301.0 kB [list of files]
ppc64el 201409.0-1+b2 6,978.8 kB48,349.0 kB [list of files]
s390x 201409.0-1+b2 6,609.7 kB44,888.0 kB [list of files]
sh4 (unofficial port) 201409.0-1+b2 7,739.3 kB40,367.0 kB [list of files]
sparc64 (unofficial port) 201409.0-1+b2 5,862.3 kB40,795.0 kB [list of files]
x32 (unofficial port) 201409.0-1+b2 7,224.5 kB39,488.0 kB [list of files]