|
Évelyne Contejean |
Chargée de recherche au CNRS.
Membre du projet Proval du PCRI,
commun au LRI/Université
Paris-Sud-CNRS
et à l’INRIA Saclay Île-de-France.
| Téléphone | : | 01 72 92 59 96 |
| Fax | : | 01 74 85 42 29 |
| Bureau/ Room | : | 64, PCRI |
| Adresse (postale) | : | LRI, bâtiment 650 |
| Université Paris-Sud | ||
| F-91405 Orsay cedex | ||
| Mél | : | Evelyne.Contejean[at]lri[dot]fr |
| Web | : | www.lri.fr/∼contejea |
UNIF07, un atelier satellite de RTA07 et TLCA07 (RDP07).
CiME : une boîte à outils pour la démonstration automatique.
Coccinelle : une libraire Coq pour modéliser la réécriture.
Alt-Ergo : un petit démonstrateur automatique dedié à la preuve de programme.
Année 2011/20012 : Démonstration automatique au MPRI.
Ici, une version provisoire du polycopié du cours.
Un chapitre sur la combination de procédures de decision (emprunté à Claude Marché).
Clef gpg : 4006 7081 DFA4 161A 30AB 7F47 74A9 16A6 4221 A547
This document was translated from LATEX by HEVEA.