Formal Methods
MAY 2023

ABZ International Conference 2023

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.

Formal Methods
DECEMBER 2020

SPARK/Ada

Systerel uses SPARK/Ada formal verification technology in developments for its customers in the railway sector (EN 50128 standard).