Operations, Technology

What’s the Point of Formal Methods?

Railway signalling systems are surprisingly expensive to produce. Formal methods have emerged as a way to cut costs and increase safety at the same time. Why did this happen, and what have been achieved so far?

Download this free white paper to find out more.

Enter your details below to view the free white paper

By downloading this whitepaper, you acknowledge that GlobalData may share your information with our white paper partners/sponsors who may contact you directly with information on their products and services.

Visit our Privacy Policy for more information about our services, how GlobalData may use, process and share your personal data, including information on your rights in respect of your personal data and how you can unsubscribe from future marketing communications. Our services are intended for corporate subscribers and you warrant that the email address submitted is your corporate email address.