Debian logoDebian Screenshots >

mcrl2

formal specification language toolset

Description

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.

Upload more screenshots

Please help extend the collection of screenshots. Just make a screenshot and upload it here. You don't need to register or anything.


Homepage

http://www.mcrl2.org/


Statistics

18639 other people were interested in this package here. The newest known version of this software is 201409.0-1+b1 (Information last updated about 22 hours ago.)