Patrick Cousot. Proving the absence of run-time errors in safety-critical avionics code. In Christoph M. Kirsch, Reinhard Wilhelm, editors, Proceedings of the 7th ACM & IEEE International conference on Embedded software, EMSOFT 2007, September 30 - October 3, 2007, Salzburg, Austria. pages 7-9, ACM, 2007. [doi]
Abstract is missing.