Package: mcrl2 (201409.0-1 and others)

[ Source: 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.

Tags: Interface Toolkit: Qt, wxWidgets

Other Packages Related to mcrl2

• dep: libc6 (>= 2.14) [amd64]

  GNU C Library: Shared libraries
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.17) [arm64]

  dep: libc6 (>= 2.3) [i386]

  dep: libc6 (>= 2.4) [armhf]

• dep: libgcc1 (>= 1:3.0) [arm64]

  GCC support library

  dep: libgcc1 (>= 1:3.4) [amd64, i386]

  dep: libgcc1 (>= 1:3.5) [armhf]

• dep: libgl1

  Vendor neutral GL dispatch library -- legacy GL support

• dep: libgl2ps1.4

  Lib providing high quality vector output for OpenGL application

• dep: libglu1-mesa

  Mesa OpenGL utility library (GLU)

  or libglu1

  virtual package provided by libglu1-mesa

• dep: libqt4-opengl (>= 4:4.5.3)

  Qt 4 OpenGL module

• dep: libqt4-xml (>= 4:4.5.3)

  Qt 4 XML module

• dep: libqtcore4 (>= 4:4.8.0)

  Qt 4 core module

• dep: libqtgui4 (>= 4:4.8.0)

  Qt 4 GUI module

• dep: libstdc++6 (>= 5.2)

  GNU Standard C++ Library v3

Download mcrl2

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
amd64	201409.0-1+b2	7,302.5 kB	41,872.0 kB	[list of files]
arm64	201409.0-1+b2	6,638.1 kB	40,384.0 kB	[list of files]
armhf	201409.0-1+b2	6,137.8 kB	28,190.0 kB	[list of files]
i386	201409.0-1+b2	7,580.3 kB	42,003.0 kB	[list of files]