Tool documentation¶
Below the main tools provided in the toolset are given. The common tools are suitable for all main tasks to be carried out with the toolset. The experimental tools are tools that are under development and provide additional but still experimental functionality.
List of the common tools¶
- besinfo
- bespp
- bessolve
- diagraphica
- lps2lts
- lps2pbes
- lpsactionrename
- lpsbinary
- lpsbisim2pbes
- lpsconfcheck
- lpsconstelm
- lpsinfo
- lpsinvelm
- lpsparelm
- lpsparunfold
- lpspp
- lpsreach
- lpsrewr
- lpssim
- lpsstategraph
- lpssumelm
- lpssuminst
- lpsuntime
- lpsxsim
- lts2lps
- lts2pbes
- ltscompare
- ltsconvert
- ltsgraph
- ltsgraph_deprecated
- ltsinfo
- ltspbisim
- ltspcompare
- ltsview
- mcrl2-gui
- mcrl22lps
- mcrl2i
- mcrl2ide
- mcrl2xi
- pbes2bes
- pbes2bool
- pbes2booldeprecated
- pbesconstelm
- pbesinfo
- pbesinst
- pbesparelm
- pbespgsolve
- pbespp
- pbesrewr
- pbessolve
- pbessolvesymbolic
- pbesstategraph
- tracepp
- txt2bes
- txt2lps
- txt2pbes
List of the experimental tools¶
In the source distribution there are more tools such as the deprecated and developer tools.
