Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software.

Richard Bonichon, Graud Canet, Loc Correnson, Eric Goubault, Emmanuel Haucourt, Michel Hirschowitz, Sbastien Labb, Samuel Mimram

Browse the full SAFECOMP paper archive.