/usr/bin/besinfo
/usr/bin/bespp
/usr/bin/diagraphica
/usr/bin/lps2lts
/usr/bin/lps2pbes
/usr/bin/lps2torx
/usr/bin/lpsactionrename
/usr/bin/lpsbinary
/usr/bin/lpsconfcheck
/usr/bin/lpsconstelm
/usr/bin/lpsinfo
/usr/bin/lpsinvelm
/usr/bin/lpsparelm
/usr/bin/lpsparunfold
/usr/bin/lpspp
/usr/bin/lpsrewr
/usr/bin/lpssim
/usr/bin/lpssumelm
/usr/bin/lpssuminst
/usr/bin/lpsuntime
/usr/bin/lpsxsim
/usr/bin/lts2lps
/usr/bin/lts2pbes
/usr/bin/ltscompare
/usr/bin/ltsconvert
/usr/bin/ltsgraph
/usr/bin/ltsinfo
/usr/bin/ltsview
/usr/bin/mcrl22lps
/usr/bin/mcrl2compilerewriter
/usr/bin/mcrl2-gui
/usr/bin/mcrl2i
/usr/bin/mcrl2xi
/usr/bin/pbes2bes
/usr/bin/pbes2bool
/usr/bin/pbesconstelm
/usr/bin/pbesinfo
/usr/bin/pbesparelm
/usr/bin/pbespgsolve
/usr/bin/pbespp
/usr/bin/pbesrewr
/usr/bin/tracepp
/usr/bin/txt2lps
/usr/bin/txt2pbes
You may install this package on Debian with
apt-get
install mcrl2