PiSPEC is a formal specification language designed to facilitate formalisation and review of requirement specifications for railway signalling systems, as well as enable automated engineering and verification of such systems.

PiSPEC is used to formalise design, test and safety specifications.