coq-club AT inria.fr

Subject: The Coq mailing list

List archive

chronological Thread

From: nana nana <ecol2009 AT gmail.com>
To: "coq-club AT pauillac.inria.fr" <coq-club AT pauillac.inria.fr>
Subject: [Coq-Club] Question
Date: Sat, 2 May 2009 11:08:00 +0200
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:date:message-id:subject:from:to:content-type; b=RuapYP/XWL+YVlHAoVA+6LEMtK1HF0/102dfCDmgU0tIdVv0tRZwU/wcUaskFrdGLA J5LQ0JNSCN5OzYdzpx0eHycbH752z0ovJFXt00rS2lacQ7ImxMJ5IvAjvTSVsYbH3lb7 CEc1gpoNKe9SxJihGTXoMDFjYZVbk7eru4DX4=
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Bonjour,
je travail sur la verification de code pour les systemes embarqu=E9s et je

trouve Coq .
j'ai une question svp :
est ce que Coq peut verifier un code ecrit dans autre langage ou bien en

l'utilise pour realiser un verifieur ?

c tres urgent pour moi,

j'atends votre reponse.

merci

�

[Coq-Club] Question, nana nana
- Re: [Coq-Club] Question, AUGER Cedric