An FSP (Finite State Process) compiler + an LTS (Labeled Transition System) analysis tool.