Our experts will participate in the 10th International ABZ Conference, which will be held in Bergamo from June 25 to 28, 2024.
The conference aims to promote exchanges within the scientific community on various formal methods.
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.
Systerel publishes a new version of the HLL specification document (HLL LFD) and submits it to the next HLL Forum review in order to converge on the new definition of the language in collaboration with the other actors of the community.
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.