Package: mcrl2 (201202.0-2 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: Field: Mathematics, Implemented in: C++, User Interface: interface::commandline, interface::x11, Role: Program, Science: Modelling, Scope: scope::suite, uitoolkit::wxwidgets, Purpose: Analysing, Calculating, use::checking, use::measuring, Simulating, X Window System: Application

Other Packages Related to mcrl2

• dep: libboost-regex1.49.0 (>= 1.49.0-1)

  regular expression library for C++

• dep: libboost-signals1.49.0 (>= 1.49.0-1)

  managed signals and slots library for C++

• dep: libc6.1 (>= 2.3)

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

• dep: libgcc1 (>= 1:4.1.1)

  GCC 支持库

• dep: libgl1-mesa-glx

  free implementation of the OpenGL API -- GLX runtime

  or libgl1

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

• dep: libgl2ps0

  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: libstdc++6 (>= 4.6)

  GNU Standard C++ Library v3

• dep: libunwind7

  用于检测程序中的函数调用链的库 - 运行时

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

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

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

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

Download mcrl2

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
ia64	201202.0-2+b1	15,692.9 kB	59,768.0 kB	[list of files]