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).