* [Q]Anna, GNAT and the anna-request mailing list
@ 1996-02-23 0:00 Erik Margraf 5887
0 siblings, 0 replies; only message in thread
From: Erik Margraf 5887 @ 1996-02-23 0:00 UTC (permalink / 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
-------------------------------------------------------------------------------
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~1996-02-23 0:00 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1996-02-23 0:00 [Q]Anna, GNAT and the anna-request mailing list Erik Margraf 5887
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox