Receive our newsletter – data, insights and analysis delivered to you
Prover Technology|11 December 2017

PiSPEC IP

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 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.

NEWSLETTER Sign up Tick the boxes of the newsletters you would like to receive. The top stories of the day delivered to you every weekday. A weekly roundup of the latest news and analysis, sent every Friday. The railway industry's most comprehensive news and information delivered every month.
I consent to GlobalData UK Limited collecting my details provided via this form in accordance with the Privacy Policy
SUBSCRIBED

THANK YOU