mcrl2 201409.0-1ubuntu2 source package in Ubuntu


mcrl2 (201409.0-1ubuntu2) yakkety; urgency=medium

  * Rebuild against libgl2ps1.

 -- Gianfranco Costamagna <email address hidden>  Tue, 31 May 2016 12:37:01 +0200

Upload details

Uploaded by:
LocutusOfBorg on 2016-05-31
Uploaded to:
Original maintainer:
Ubuntu Developers
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Artful release on 2017-04-20 universe math
Zesty release on 2016-10-18 universe math
Yakkety release on 2016-06-10 universe math


File Size SHA-256 Checksum
mcrl2_201409.0.orig.tar.gz 16.6 MiB 322fa8835d7500bfe3e679a2d19c96e3c235d17af4ad3e674b564a2d5edaff3f
mcrl2_201409.0-1ubuntu2.debian.tar.xz 6.8 KiB 88d3bbf16bea3422e272694d7899102a03fea0c316e21074d9f41f925887cf3e
mcrl2_201409.0-1ubuntu2.dsc 2.1 KiB fb3c744f18fb8574d159bf195e3c62701535467a4c9a3d05208b454c8394193e

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