How To Install Ltsinfo On Debian, Ubuntu, Kali And Raspbian?
Install ltsinfo
-
Debian
apt-get install mcrl2
Click to copy -
Ubuntu
apt-get install mcrl2
Click to copy -
Kali Linux
apt-get install mcrl2
Click to copy -
Raspbian
apt-get install mcrl2
Click to copy
mcrl2
formal specification language toolsetmCRL2 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.
To install the latest version of ltsinfo in your favorite operating system just copy the ltsinfo installation command from above and paste it into terminal. It will download and install the latest version of ltsinfo 2024 package in your OS.