Case Studies

Code Verification

Friday, 14 June 2013 12:41

Thales Austria asked Reivertech to perform a software verification of a new Java system used to control real-time rail signalling systems due to go into the field in early 2013.