From: erik@asgard.gud.siemens.co.at (Erik Margraf 5887)
Subject: [Q]Anna, GNAT and the anna-request mailing list
Date: 1996/02/23
Date: 1996-02-23T00:00:00+00:00 [thread overview]
Message-ID: <4gklel$bnk@news.siemens.at> (raw)
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
-------------------------------------------------------------------------------
reply other threads:[~1996-02-23 0:00 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox