Package: mcrl2

"mcrl2" package binaries on Debian:

/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