Bonjour Fabrice, Le 19/04/07, Fabrice Papirnyk<[EMAIL PROTECTED]> a écrit :
> preuve de code
Voir notamment Coq (de l'INRIA) et ACL2. Il y en a d'autres (http://gulliver.eu.org/wiki/FreeSoftwareForFormalVerification).
> techniques de signature de code d'exécutable
http://www.g10code.com/p-sfsv.html
> technique de vérification d'exécutable
J'ai un article papier quelque part, il faut que je le retrouve. Amicalement, d. -- Liste de discussion demexp-fr. Pour se désinscrire, cliquer sur le lien ci-après. mailto:[EMAIL PROTECTED]
