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,start X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-09-21 06:56:15 PST Path: archiver1.google.com!postnews1.google.com!not-for-mail From: rod@praxis-cs.co.uk (Rod Chapman) Newsgroups: comp.lang.ada Subject: ANNOUNCE: New white paper available on www.sparkada.com Date: 21 Sep 2001 06:56:14 -0700 Organization: http://groups.google.com/ Message-ID: NNTP-Posting-Host: 213.155.153.242 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Trace: posting.google.com 1001080575 16494 127.0.0.1 (21 Sep 2001 13:56:15 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: 21 Sep 2001 13:56:15 GMT Xref: archiver1.google.com comp.lang.ada:13227 Date: 2001-09-21T13:56:15+00:00 List-Id: 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