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 X-Google-Thread: 103376,8d6926756e7ec5dc X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-08-08 13:04:46 PST Path: archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newshub2.home.com!news.home.com!news2.POSTED!not-for-mail Message-ID: <3B719C3A.7080907@dont.spam.me> From: McDoobie User-Agent: Mozilla/5.0 (X11; U; Linux i586; en-US; rv:0.9.3) Gecko/20010801 X-Accept-Language: en-us MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: SPARK References: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit Date: Wed, 08 Aug 2001 20:04:46 GMT NNTP-Posting-Host: 24.0.109.49 X-Complaints-To: abuse@home.net X-Trace: news2 997301086 24.0.109.49 (Wed, 08 Aug 2001 13:04:46 PDT) NNTP-Posting-Date: Wed, 08 Aug 2001 13:04:46 PDT Organization: Excite@Home - The Leader in Broadband http://home.com/faster Xref: archiver1.google.com comp.lang.ada:11640 Date: 2001-08-08T20:04:46+00:00 List-Id: Soeren.Henssel-Rasmussen@nokia.com wrote: > Chris, > > have a look on the Anna toolset from Stanford: > Research website => http://pavg.stanford.edu/ > Download => > ftp://pavg.stanford.edu/pub/anna/anna.intro (remove "anna.intro" to see all > files) > > I worked on the tools a couple of years ago, but has not used it since. > > regards /soren > S�ren Henssel-Rasmussen > soeren.henssel-rasmussen@nokia.com > > Thanks for the reference. You can be sure I'll be spending some time getting used to these tools. Hopefully, as my experience grows, I'll be able to submit some contributions to the project. McDoobie chris@dont.spam.me