SPARK Presentations and White Papers

Where indicated, PDF downloads of these publications are available for download here. Where PDF is not available, please contact us for how to obtain hardcopies.

"SPARK and Abstract Interpretation – A White Paper" (PDF 204kb)
Rod Chapman, Praxis, September 2001
Introduction
Recently, there has been significant interest in the use of Abstract Interpretation (AI) technology in the static analysis of critical software. A number of AI-based tools exist, but some of their marketing suffers from a level of hyperbole that is at best optimistic, and at worst somewhat irresponsible.
There have also been some attempts to compare AI-based static analysis tools with the analysis implemented by the SPARK language and the SPARK Examiner toolset. The aim of this white paper is to dispel some of the common myths and to avoid potential confusion with customers.

"SPARK and the C130J Hercules II" (PDF – 287kb)"
Praxis
This white paper discusses the lessons learnt and the benefits gained through the use of SPARK during the redevelopment of the Hercules aircraft.