From: Stuart Palin <stuart.palin@gecm.com>
Subject: Re: Finding out parameters which are not written
Date: 1997/08/28
Date: 1997-08-28T00:00:00+00:00 [thread overview]
Message-ID: <5u39q4$6ul@gcsin3.geccs.gecm.com> (raw)
In-Reply-To: 5u180q$l69@mulga.cs.mu.OZ.AU
fjh@mundook.cs.mu.OZ.AU (Fergus Henderson) wrote:
>kilgallen@eisner.decus.org (Larry Kilgallen) writes:
>
>>Gerhard Radatz <gerhard.radatz@aut.alcatel.at> writes:
>>> Does anyone know about a tool which can detect such situations as the
>>> following:
>>>
>>> procedure xxx (result: out INTEGER) is
>>> begin
>>> if <<condition>> then
>>> result := 0;
>>> end if;
>>> end;
[snipping]
Sorry to quote this 3rd generation message (I did not see the first
message and it appears to have expired).
Try looking at the SPARK tool from Praxis Critical Systems; they have a
web page at http://www.praxis-cs.co.uk/spark/spark.htm
--
Stuart Palin
Consultant Engineer
Flight Systems Division (Rochester)
GEC Marconi Avionics Ltd
next prev parent reply other threads:[~1997-08-28 0:00 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
1997-08-12 0:00 Finding out parameters which are not written Gerhard Radatz
1997-08-12 0:00 ` Larry Kilgallen
1997-08-17 0:00 ` Fergus Henderson
[not found] ` <5u180q$l69@mulga.cs.mu.OZ.AU>
1997-08-28 0:00 ` Stuart Palin [this message]
1997-08-12 0:00 ` Gerhard Radatz
1997-08-12 0:00 ` Robert A Duff
1997-08-12 0:00 ` Matthew Heaney
-- strict thread matches above, loose matches on Subject: below --
1997-08-27 0:00 Robert Dewar
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox