PiSPEC IP - Railway Technology
Join Our Newsletter - Get important industry news and analysis sent to your inbox – sign up to our e-Newsletter here

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.

More About This Company