|
Évelyne Contejean |
CNRS researcher.
Member of Proval, a
PCRI joint project between
LRI/Université
Paris-Sud-CNRS
and INRIA Saclay Île-de-France.
| Phone | : | +33 (1) 72 92 59 96 |
| Fax | : | +33 (1) 74 85 42 29 |
| Room | : | 64 at PCRI |
| Address (surface mail) | : | LRI, bâtiment 650 |
| Université Paris-Sud | ||
| F-91405 Orsay cedex | ||
| : | Evelyne.Contejean[at]lri[dot]fr | |
| Web | : | www.lri.fr/∼contejea |
UNIF07, a satellite workshop of RTA07 and TLCA07 (RDP07)
CiME: a tool box for automated deduction.
Coccinelle: a Coq library for modelling rewriting.
Alt-Ergo : a small proof engine dedicated to program verification.
Year 2011/2012 : Automated Deduction at MPRI.
Here, a preliminary version of course’s notes (in French).
A chapter on combination of decision procedures (borrowed from Claude Marché).
Gpg key: 4006 7081 DFA4 161A 30AB 7F47 74A9 16A6 4221 A547
This document was translated from LATEX by HEVEA.