Last week, our technical director spoke to engineering students from Polytech Marseille. The students were able to learn more about the application of formal methods in the context of software development under cybersecurity constraints.
Our teams will participate in the 9th ABZ International Conference, which will be held in Nancy from May 31 to June 2, 2023.
This year, Systerel will co-organize the workshop for Rodin users and developers. The Rodin platform is dedicated to event-driven B development, robustly supporting model refinement and mathematical proof.
The CEA List Institute and Systerel have reached a major milestone in the digitization of railway systems, by delivering a new version of the functional modelling module for new-generation of interlocking systems to SNCF Réseau. They are supporting the growing complexity of these systems with an efficient modelling and validation environment.