IET Swindon presents:
Verification of Railway Interlockings using Formal Methods More Events
Speaker:
Andrew Lawrence
Date/Time:
Tuesday 10th October 2017 @ 6:30 PM
Venue:
Swindon
Details:
"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 such as testing, in that it can be automated and is exhaustive. Joint event organised by IET Swindon"
Thank you for your interest in one of our earlier events.
If you attended this event, why not tell us what you thought by sending us feedback? Please visit our feedback page and enter your booking reference.