From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,bd26858f84fa9d43 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-09-24 01:56:23 PST From: "Martin Dowie" Newsgroups: comp.lang.ada References: Subject: Re: ANNOUNCE: New white paper available on www.sparkada.com Date: Mon, 24 Sep 2001 09:55:43 +0100 X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 5.00.2314.1300 X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2314.1300 NNTP-Posting-Host: ed125012.sd.edinbr.gmav.gecm.com Message-ID: <3baef238$1@pull.gecm.com> X-Trace: 24 Sep 2001 09:43:36 GMT, ed125012.sd.edinbr.gmav.gecm.com Path: archiver1.google.com!newsfeed.google.com!sn-xit-02!supernews.com!isdnet!btnet-peer1!btnet-feed5!btnet!newreader.ukcore.bt.net!pull.gecm.com!ed125012.sd.edinbr.gmav.gecm.com Xref: archiver1.google.com comp.lang.ada:13278 Date: 2001-09-24T09:55:43+01:00 List-Id: 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 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:... > > 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