Package: mcrl2 (201409.0-1 and others)

[ Source: mcrl2  ]

Værktøjssæt til formelt specifikationssprog

mCRL2 står for micro Common Representation Language 2. Det er et specifikationssprog, der kan bruges til at angive og analysere opførelsen for distribuerede systemer og protokoller og er efterfølgeren til muCRL. Med brug af det medfølgende værktøjssæt kan systemer analyseres og verificeres automatisk.

Dette værktøjssæt understøtter en samling af værktøjer for linearisering, simulering, udforskning og oprettelse af state-space og værktøjer til optimering og analysespecifikationer. Desuden kan state-spaces manipuleres, visualiseres og analyseres.

Tags: Interface Toolkit: Qt, wxWidgets

Other Packages Related to mcrl2

• dep: libc6 (>= 2.17)

  GNU C-bibliotek: Delte biblioteker
  also a virtual package provided by libc6-udeb

• dep: libgcc1 (>= 1:3.0)

  GCC støttebibliotek

• dep: libgl1

  Leverandørneutralt GL-afsendelsesbibliotek - forældet GL-understøttelse

• dep: libgl2ps1.4

  Lib providing high quality vector output for OpenGL application

• dep: libglu1-mesa

  Mesa OpenGL-redskabsbibliotek - GLU

  or libglu1

  virtual package provided by libglu1-mesa

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

  Qt 4 OpenGL-modul

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

  Qt 4 XMl-modul

• dep: libqtcore4 (>= 4:4.8.0)

  Qt 4-kernemodul

• dep: libqtgui4 (>= 4:4.8.0)

  Qt 4-modul til grafisk brugerflade

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

  GNU Standard C++ bibliotek v3

Download mcrl2

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
arm64	201409.0-1+b2	6,638.1 kB	40,384.0 kB	[list of files]