From: Lionel.DRAGHI@fr.thalesgroup.com
To: comp.lang.ada@ada-france.org
Subject: RE: Advantages
Date: Mon, 28 Jun 2004 11:52:41 +0200
Date: 2004-06-28T11:52:41+02:00 [thread overview]
Message-ID: <mailman.172.1088416423.391.comp.lang.ada@ada-france.org> (raw)
By the way, there was a presentation on a tool able to detect deadlock by
source code statical analysis, during the last Ada-France meeting.
The tool (still on developpement) is called Qasar, and was presented by JF.
Peyre.
Slides are available on the Ada-France web www.ada-france.org
--
Lionel Draghi.
next reply other threads:[~2004-06-28 9:52 UTC|newest]
Thread overview: 24+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-06-28 9:52 Lionel.DRAGHI [this message]
[not found] <20040628005515.0A1E74C4160@lovelace.ada-france.org>
2004-06-28 6:23 ` Advantages Andrew Carroll
2004-06-28 14:44 ` Advantages Jacob Sparre Andersen
2004-07-04 18:11 ` Advantages Robert I. Eachus
-- strict thread matches above, loose matches on Subject: below --
2004-06-27 7:04 Advantages Andrew Carroll
2004-06-27 15:16 ` Advantages Nick Roberts
2004-06-27 21:22 ` Advantages Pascal Obry
2004-06-28 0:51 ` Advantages Robert I. Eachus
2004-06-28 1:59 ` Advantages Brian May
2004-06-29 0:24 ` Advantages Randy Brukardt
2004-06-29 3:32 ` Advantages Hyman Rosen
2004-06-29 18:41 ` Advantages Randy Brukardt
2004-07-02 0:49 ` Advantages Brian May
2004-07-02 1:31 ` Advantages Jeffrey Carter
2004-07-02 9:13 ` Advantages Dmitry A. Kazakov
2004-07-02 12:27 ` Advantages Marin David Condic
2004-07-04 17:42 ` Advantages Robert I. Eachus
2004-06-28 12:08 ` Advantages Marin David Condic
2004-06-27 18:32 ` Advantages Jim Rogers
2004-06-26 6:28 Advantages Andrew Carroll
2004-06-25 19:41 Advantages Andrew Carroll
[not found] <20040624170516.B4DFC4C4110@lovelace.ada-france.org>
2004-06-25 12:24 ` Advantages Andrew Carroll
2004-06-25 12:22 ` Advantages Peter Amey
2004-06-26 20:43 ` Advantages Marin David Condic
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox