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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,c012933f810e3a77,start
X-Google-Attributes: gid103376,public
From: erik@asgard.gud.siemens.co.at (Erik Margraf 5887)
Subject: [Q]Anna, GNAT and the anna-request mailing list
Date: 1996/02/23
Message-ID: <4gklel$bnk@news.siemens.at>#1/1
X-Deja-AN: 141270095
organization: Siemens AG Austria
newsgroups: comp.lang.ada
Date: 1996-02-23T00:00:00+00:00
List-Id: <comp.lang.ada>

I'm interested in using a tool for program specification/verification. 
Just for fun. 
I tried to compile the anna system on a Linux system (using gnat301) and had
no success. (Maybe this is a case for the gnat-report list, but I'm not sure
about that) 
I tried to reach someone at the stanford university using 
the address anna-request@anna.stanford.edu (this is given at the famous HBAP),
but i got now answer. Is this system still in use and are there still some 
people at stanford taking care of anna. If so, how can I really reach them ?  

Altough I bought the book about anna from Luckham, I'm not fixed to it. Any
hint to a similar (freely available) tool will be appreciated. 

Thanks in advance

Erik Margraf


--
-------------------------------------------------------------------------------
Erik Margraf            Siemens Austria, PSE KB241
Tel : +43 1 1707 / 45887
e-mail : erik.margraf@siemens.at 
-------------------------------------------------------------------------------