ANNOUNCE: New white paper available on www.sparkada.com

[rod@praxis-cs.co.uk (Rod Chapman)]

A new white paper entitled "SPARK and Abstract Interpretation"
is now available for download on www.sparkada.com

The introduction reads:

"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."

I'm sure many readers of c.l.a might be interested in this.

Yours,
 Rod Chapman
 SPARK Team
 Praxis Critical Systems
 sparkinfo@praxis-cs.co.uk