Richard Bonichon, Géraud Canet, Loïc Correnson, Eric Goubault, Emmanuel Haucourt, Michel Hirschowitz, Sébastien Labbé, Samuel Mimram. Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software. In Francesco Flammini, Sandro Bologna, Valeria Vittorini, editors, Computer Safety, Reliability, and Security - 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings. Volume 6894 of Lecture Notes in Computer Science, pages 85-98, Springer, 2011. [doi]
Abstract is missing.