ltsinfo
formal specification language toolset
Install
- All systems
-
curl cmd.cat/ltsinfo.sh
- Debian
-
apt-get install mcrl2
- Ubuntu
-
apt-get install mcrl2
- 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/ltsinfo
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.