SIG4 Engineering collaborates with experts from Prover on “Integral Formal Proof” activities implemented and supported by RATP.

SIG4 Engineering is involved alongside ALSTOM in the modernization of the railway network in the city of Perth, Australia.

SIG4 Engineering is particularly pleased to contribute to the development of the safety case required for the new signaling system on the Marseille-Ventimiglia line.