Verification of Railway Interlockings using Formal Methods

      Add to your calendar Last updated - 26/08/2017 11:55

Technical lecture
10 October 2017 18:30 - 20:30
This event has finished

Formal methods are a collection of techniques, with mathematical foundations, that aide the specification, development and verification of computer systems and programs. Formal verification has the advantage over traditional verification techniques should as testing in that it can be automated and is exhaustive. These advantages make formal verification particularly suited to safety critical systems where the systems failure can be extremely expensive in terms of both lives lost and money. The talk will introduce formal methods and then describe how they have been applied to automatically check the correctness of real world train control systems.  Siemens believe that these formal methods will make the railways safer in the long run and reduce the cost of verification.


Andrew Lawrence of Siemens Rail Automation


Swindon College
North Star Avenue
United Kingdom

Contact Details

Mick James
United Kingdom
Email: Send a message

Cart Shopping basket (0)

© 2011 Institution of Mechanical Engineers. IMechE is a registered charity in England and Wales number 206882