The ProB project,[REF] which is hosted by the Institut für Informatik, Heinrich-Heine-Universität Düsseldorf, was originally created to support analysis of specifications constructed in the B method.
The Process Analysis Toolkit (PAT) [REF][REF] is a CSP analysis tool developed in the School of Computing at the National University of Singapore.