Paket: mcrl2 (201409.0-1 och andra)

[ Källkod: 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.

Märken: Interface Toolkit: Qt, wxWidgets

Andra paket besläktade med mcrl2

• dep: libc6 (>= 2.17)

  GNU C-bibliotek: Delade bibliotek
  också ett virtuellt paket som tillhandahålls av libc6-udeb

• dep: libgcc1 (>= 1:3.0)

  GCC stödbibliotek

• 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)

  eller libglu1

  virtuellt paket som tillhandahålls av 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 standardbibliotek v3 för C++

Hämta mcrl2

Hämtningar för alla tillgängliga arkitekturer

Arkitektur	Version	Paketstorlek	Installerad storlek	Filer
arm64	201409.0-1+b2	6.638,1 kbyte	40.384,0 kbyte	[filförteckning]