lpssuminst

formal specification language toolset

Install

All systems
curl cmd.cat/lpssuminst.sh
Debian Debian
apt-get install mcrl2
Ubuntu
apt-get install mcrl2
image/svg+xml Kali Linux
apt-get install mcrl2
Windows (WSL2)
sudo apt-get update sudo apt-get install mcrl2
Raspbian
apt-get install mcrl2
Dockerfile
dockerfile.run/lpssuminst

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.