Bonjour, Je suis actuellement en thèse à l'IRISA (project VerTeCs pour ceux qui connaissent) et je m'interesse aux preuves formelles de programmes dans le domaine de la sécurité. Je partirai probablement de la problématique du vote éléctronique (si ce n'est pour ma thèse, au moins pour le projet de recherche POLITESS auquel je participe) comme cas d'étude. Je n'ai pas vu sur le Wiki si vous organisez de temps en temps des réunions de travail sur demexp. Jérémy
J'ai écrit une preuve COQ et réalisé une extraction de la méthode de Condorcet.
Cela peux peut-être t'intéresser ?
http://thread.gmane.org/gmane.politics.organizations.demexp.fr/144
Cordialement,
|
-- Serge Leblanc <[EMAIL PROTECTED]> GnuPG id: 1024D/73791C2B 2002-09-30 Primary key fingerprint: 8E0C 0D6D E026 A278 9278 BF4F 1A93 D552 7379 1C2B |
signature.asc
Description: This is a digitally signed message part
