LYS (2005) - a toolset for the analysis and visualisation of epistemic
protocols. Development stopped in 2006 due to lack of relevant case studies.
If you do have small but interesting epistemic protocols that you'd like to model,
try DEMO, a related tool which is much better maintained.
If you'd like to continue the LYS development, feel free to download the sources and
improve/extend/rewrite them as needed (and show me the result!).
distributed reduction tools (2001-2004) - all the tools described in my PhD thesis
(strong, weak and branching bisimulation reduction of large LTSs; detection and elimination of strongly connected components)
are now improved and integrated in LTSMIN.