Darren Foulger, Steve King. Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software. In Dirk Craeynest, Alfred Strohmeier, editors, Reliable Software Technologies: Ada Europe 2001, 6th Ade-Europe International Conference Leuven, Belgium, May 14-18, 2001, Proceedings. Volume 2043 of Lecture Notes in Computer Science, pages 229-240, Springer, 2001. [doi]
Abstract is missing.