Systerel, a key player for the industrial implementation of formal methods for more than 15 years, will exhibit at Smart Metro Congress in Paris, from October 29th to October 31st.
As a partner of the congress, Systerel will present in the exhibition space its offer for critical systems safety:
- Tools for the formal design and verification of critical systems (Systerel Smart Solver, and OVADO)
- Solutions addressing the challenges of cybersecurity for the connected industry (Safe and Secure OPC)
Smart Metro will bring together world experts in metro and tramway technologies and this year is supported by RATP and SNCF.Programme Learn more about our solutions