D. Foulger and S. King. Using the spark toolset for showing the absence of run-time errors in safety-critical software. In Ada-Europe 2001. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Industrial Strength Exception Freedom - Peter Amey Roderick (2002) (4 citations) (Correct)
....has come of age. Using proof based techniques, static proof of exception freedom is tractable and easy for real developers of real industrial systems right now Many SPARK users are using these techniques without any assistance from Praxis; some have even independently reported their work [8]. The effectiveness of the process, especially the qualitative shift from finding some possible run time errors to proving their absence, depends on the logical soundness of the programming language being used and the need to avoid random values entering the system. Efficiency is important ....
Darren Foulger, Steve King. Using the SPARK toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software. in Reliable Software Technologies - Ada-Europe 2001.
An Overview of the Jahob Analysis System - Project Goals and.. - Kuncak, Rinard (Correct)
No context found.
D. Foulger and S. King. Using the spark toolset for showing the absence of run-time errors in safety-critical software. In Ada-Europe 2001.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC