> > > preuve de code > Voir notamment Coq (de l'INRIA) et ACL2. Il y en a d'autres
Est-ce que cela a été mis en place pour Demexp ? Est-ce que la preuve de code se fait principalement par exemple sur le code de l'algorithme Condorcet, ou est-ce que c'est intéressant de le faire aussi sur le reste ? (1) > > > techniques de signature de code d'exécutable > http://www.g10code.com/p-sfsv.html (2) > > > technique de vérification d'exécutable > J'ai un article papier quelque part, il faut que je le retrouve. Si je comprends bien, il s'agit de vérifier un exécutable (1) AVANT son exécution et (2) PENDANT son exécution ? J'ai vu qu'il était facile de vérifier l'authenticité d'un logiciel que l'on vient de télécharger. Qu'en est-il de le vérifier *pendant* son utilisation ? Merci, Fabrice -- Liste de discussion demexp-fr. Pour se désinscrire, cliquer sur le lien ci-après. mailto:[EMAIL PROTECTED]
