[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [gulliver] Liste des outils libres de vérification formelle


From David MENTRE <david dot mentre at wanadoo dot fr>
Subject Re: [gulliver] Liste des outils libres de vérification formelle
Date Sun, 13 Jun 2004 21:04:35 +0200

Salut Gilles,

Gilles LAMIRAL <gilles dot lamiral at free dot fr> writes:

> http://www.linux-france.org/~dmentre/lug/gulliver/
> ou plus bas encore, de façon à ce que je puisse
> ajouter une synchro  automatique.

C'est fait :
http://www.linux-france.org/~dmentre/lug/gulliver/ateliers/fv-tools/

Par contre, il faut aussi que je fasse une page web dans le style de
gulliver, donc c'est plutôt une question pour maxime.

Amicalement,
d.
-- 
David Mentré <david dot mentre at wanadoo dot fr> -- http://gulliver.eu.org/