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

[hfrumblefoot@yahoo.com (Hambut)]

Thanks, this is very interesting Rod.

Do you have any links to description of what Abstract Interpretation
is - i.e. what is it based on?

This would help me to better understand the points you make in the
white paper.

Cheers,

Hambut.

rod@praxis-cs.co.uk (Rod Chapman) wrote in message news:<ba18d5cb.0109210556.28833470@posting.google.com>...
> 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