Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software
Richard Bonichon
(1)
,
Géraud Canet
(1)
,
Lo\"ic Correnson
(1)
,
Eric Goubault
(1)
,
Emmanuel Haucourt
(1)
,
Michel Hirschowitz
(2, 1)
,
Sébastien Labbé
,
Samuel Mimram
(1)