From: francois.chastrette@ansf.alcatel.fr (Francois Chastrette)
Subject: Validation process at Ada Core Technologies
Date: 1996/05/31
Date: 1996-05-31T00:00:00+00:00 [thread overview]
Message-ID: <francois.chastrette-3105961702460001@pasgy27.ansf.alcatel.fr> (raw)
About 6 weeks ago Robert Dewar posted a very interesting description of
the validation process that is in use at Ada Core Technologies. He also
mentioned that he would post a more detailed paper on the ACT home page
shortly after the STC conference.
I have since checked the ACT home page several times, but apparently the
description is not there. Can someone please tell me where I can find it?
next reply other threads:[~1996-05-31 0:00 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
1996-05-31 0:00 Francois Chastrette [this message]
1996-06-02 0:00 ` Validation process at Ada Core Technologies 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