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

[David MENTRE <david dot mentre at wanadoo dot fr>]

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/