Ubuntu
mcrl2 package

mcrl2 201409.0-1ubuntu3 source package in Ubuntu

Changelog

mcrl2 (201409.0-1ubuntu3) bionic; urgency=medium

  * No-change rebuild against libgl2ps1.4

 -- Steve Langasek <email address hidden>  Sat, 11 Nov 2017 06:27:49 +0000

Upload details

Uploaded by:
Steve Langasek
Uploaded to:
Bionic
Original maintainer:
Ubuntu Developers
Architectures:
any
Section:
math
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Bionic release universe math

Downloads

File Size SHA-256 Checksum
mcrl2_201409.0.orig.tar.gz 16.6 MiB 322fa8835d7500bfe3e679a2d19c96e3c235d17af4ad3e674b564a2d5edaff3f
mcrl2_201409.0-1ubuntu3.debian.tar.xz 6.8 KiB 1aee145056a4cdb28f90871b5fab562f4e6d092688540a3018283757e1d133c8
mcrl2_201409.0-1ubuntu3.dsc 2.1 KiB e841244ce217ba5eeddf76b9a1abe8dea07c9c46f2bb03c273329ce78ef33327

View changes file

Binary packages built by this 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.

mcrl2-dbgsym: debug symbols for mcrl2