Package: mcrl2 (201007~rc1-1)

[ Source: mcrl2  ]

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.

Other Packages Related to mcrl2

• dep: libboost-filesystem1.42.0 (>= 1.42.0-1)

  filesystem operations (portable paths, iteration over directories, etc) in C++

• dep: libboost-signals1.42.0 (>= 1.42.0-1)

  managed signals and slots library for C++

• dep: libboost-system1.42.0 (>= 1.42.0-1)

  Operating system (e.g. diagnostics support) library

• dep: libboost-thread1.42.0 (>= 1.42.0-1)

  portable C++ multi-threading

• dep: libc0.1 (>= 2.7) [kfreebsd-amd64, kfreebsd-i386]

  Sulautettu GNU C -kirjasto: jaetut kirjastot
  also a virtual package provided by libc0.1-udeb

• dep: libc6 (>= 2.7) [not ia64, kfreebsd-amd64, kfreebsd-i386]

  Sulautettu GNU C -kirjasto: jaetut kirjastot
  also a virtual package provided by libc6-udeb

• dep: libc6.1 (>= 2.7) [ia64]

  Sulautettu GNU C -kirjasto: jaetut kirjastot
  also a virtual package provided by libc6.1-udeb

• dep: libgcc1 [kfreebsd-amd64, kfreebsd-i386]

  GCC:n apukirjasto

  dep: libgcc1 (>= 1:4.1.1) [not armel, kfreebsd-amd64, kfreebsd-i386, sparc]

  dep: libgcc1 (>= 1:4.2.1) [sparc]

  dep: libgcc1 (>= 1:4.4.0) [armel]

• dep: libgl1-mesa-glx

  A free implementation of the OpenGL API -- GLX runtime

  or libgl1

  virtual package provided by libgl1-mesa-glx, libgl1-mesa-swx11

• dep: libglu1-mesa

  The OpenGL utility library (GLU)

  or libglu1

  virtual package provided by libglu1-mesa

• dep: libstdc++6 [kfreebsd-amd64, kfreebsd-i386]

  GNU Standard C++ -kirjasto, versio 3

  dep: libstdc++6 (>= 4.4.0) [not kfreebsd-amd64, kfreebsd-i386]

• dep: libunwind7 [ia64]

  A library to determine the call-chain of a program - runtime

• dep: libwxbase2.8-0 (>= 2.8.10.1)

  wxBase library (runtime) - non-GUI support classes of wxWidgets toolkit

• dep: libwxgtk2.8-0 (>= 2.8.10.1)

  wxWidgets Cross-platform C++ GUI toolkit (GTK+ runtime)

• dep: libx11-6

  X11 client-side library

Download mcrl2

Download for all available architectures

Architecture	Package Size	Installed Size	Files
amd64	13,663.9 kB	42,544.0 kB	[list of files]
armel	12,649.7 kB	37,636.0 kB	[list of files]
i386	13,762.5 kB	42,036.0 kB	[list of files]
ia64	17,020.3 kB	67,316.0 kB	[list of files]
kfreebsd-amd64	13,165.7 kB	40,290.0 kB	[list of files]
kfreebsd-i386	13,270.2 kB	39,876.0 kB	[list of files]
mips	12,130.1 kB	48,836.0 kB	[list of files]
mipsel	11,942.9 kB	48,836.0 kB	[list of files]
powerpc	13,680.3 kB	41,692.0 kB	[list of files]
s390	13,022.7 kB	42,140.0 kB	[list of files]
sparc	13,304.7 kB	41,464.0 kB	[list of files]