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

["Martin Dowie" <martin.dowie@nospam.baesystems.com>]

To avoid Rod the embarrassment of helping the opposition, I'll
assume he is talking about the likes of Polyspace, who can be
found at:

www.polyspace.com


Hambut <hfrumblefoot@yahoo.com> wrote in message
news:fb75c450.0109240045.472dc22f@posting.google.com...
> 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