ReLTS
ReLTS is a Ocaml tool for determining the existence of a family of relations on labelled transition systems. The architecture and algorithmic foundations can be found in this paper. Detailed instructions on usage and installation can be found in the manual.