From: "Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>
Subject: Re: Is Aunit helpful?
Date: Fri, 20 Aug 2010 11:22:22 +0200
Date: 2010-08-20T11:22:22+02:00 [thread overview]
Message-ID: <op.vhqcbkmsxmjfy8@garhos> (raw)
In-Reply-To: 20168051-b726-4a6a-9d75-cb1e0f58b0be@j18g2000yqd.googlegroups.com
Le Tue, 17 Aug 2010 14:37:56 +0200, Cyrille <comar@eu.adacore.com> a écrit:
> This is one of the goals of the Hi-Lite project!
> http://www.open-do.org/projects/hi-lite/
I had a quick look a read a bit the french paper. Seems interesting.
So this is organization whose purpose is to promote formal methods ?
Do they also target solutions ?
Are you, yourself, a member of this team ?
next prev parent reply other threads:[~2010-08-20 9:22 UTC|newest]
Thread overview: 45+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-08-04 14:19 Is Aunit helpful? Ada novice
2010-08-05 12:07 ` Stephen Leake
2010-08-05 17:29 ` Ada novice
2010-08-05 18:18 ` Tero Koskinen
2010-08-05 20:39 ` Ada novice
2010-08-05 20:57 ` Simon Wright
2010-08-13 16:43 ` Yannick Duchêne (Hibou57)
2010-08-13 19:34 ` Simon Wright
2010-08-13 20:59 ` Yannick Duchêne (Hibou57)
2010-08-14 6:57 ` Stephen Leake
2010-08-14 13:38 ` Yannick Duchêne (Hibou57)
2010-08-14 21:33 ` Midoan
2010-08-14 21:38 ` Yannick Duchêne (Hibou57)
2010-08-14 21:49 ` Simon Wright
2010-08-14 22:04 ` Yannick Duchêne (Hibou57)
2010-08-15 7:57 ` Midoan
2010-08-15 11:46 ` Simon Wright
2010-08-15 12:10 ` Stephen Leake
2010-08-15 21:47 ` Midoan
2010-08-15 22:58 ` Yannick Duchêne (Hibou57)
2010-08-17 2:46 ` Randy Brukardt
2010-08-17 12:37 ` Cyrille
2010-08-20 9:22 ` Yannick Duchêne (Hibou57) [this message]
2010-08-20 9:20 ` Yannick Duchêne (Hibou57)
2010-08-16 7:59 ` Stephen Leake
2010-08-16 9:02 ` Midoan
2010-08-26 17:45 ` Colin Paul Gloster
2010-08-07 16:57 ` Marco
2010-08-13 14:09 ` Yannick Duchêne (Hibou57)
2010-08-05 20:48 ` Simon Wright
2010-08-06 9:06 ` Ada novice
2010-08-06 16:51 ` Simon Wright
2010-08-06 18:13 ` Ada novice
2010-08-08 13:39 ` John McCormick
2010-08-08 17:10 ` Ada novice
2010-08-09 17:05 ` John McCormick
2010-08-09 17:23 ` Michael R
2010-08-10 8:33 ` Ada novice
2010-08-10 13:48 ` John McCormick
2010-08-10 9:45 ` Mark Lorenzen
2010-08-10 14:07 ` John McCormick
2010-08-10 17:32 ` Ada novice
2010-08-12 15:04 ` John McCormick
2010-08-17 15:51 ` Ada novice
2010-08-13 15:31 ` Yannick Duchêne (Hibou57)
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox