| [Actux] Choix date exposé Frama-C (analyse statique et preuve de code C) |
[ Thread Index |
Date Index
| More lists.tuxfamily.org/actux Archives
]
- To: Liste Gulliver <gulliver@xxxxxxxxxxxxxxxxxxxxxx>, actux <actux@xxxxxxxxxxxxxxxxxxx>
- Subject: [Actux] Choix date exposé Frama-C (analyse statique et preuve de code C)
- From: David MENTRE <dmentre@xxxxxxxxxxxxxxxx>
- Date: Thu, 13 Jan 2011 16:33:41 +0100
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:sender:from:date :x-google-sender-auth:message-id:subject:to:content-type :content-transfer-encoding; bh=JkrhmzFLTNhhL+c6umvpG29jF91fYxDpclp6ed8xqRA=; b=cMZ69tM03dGh7xRuV65aA69nGDS3xJcWMSIbtL3VU47sEmTdtxVyBG5SC8mWl1n6Bf Ih7YtPy308d6kbhLgRrrRtLsNoqlG3jseKJowKUBl1TqnJGM7uNV/KDL2v2DX0kAIaNu Hyn++/PdZYwsuDtLYFRl8iY2grFQLyWN9O4CQ=
- Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:from:date:x-google-sender-auth:message-id :subject:to:content-type:content-transfer-encoding; b=vUlkBW/TfLS2iCUijBbY+qICfYtX3bQQDZS/1lEQiGS4aXK7HmZfNNHnhm+oP8dx1c u4Rvh3E7jZgtSCZW7Z7t9hz1//0bFVGVlvA79xIPdXUtP8Gzfa0r7lw0bGxc06el+UnS jJmS5rn5sEGtXdeLqcNq25RQd6YDWObQUgaa0=
Bonjour,
Suite à l’intérêt pour ma proposition d'exposé, je ferai donc un
exposé sur Frama-C, abordant l'analyse statique et la preuve de code
C.
Je propose des dates dans le sondage suivant. Si vous êtes intéressés
merci de le remplir au plus vite pour que je puisse réserver la salle.
http://papillon.peacefrogs.net/poll/8zEdMP1294930355/
Amicalement,
david
---
---
Liste Actux, http://www.actux.fr