CAVERN ANR-07-SESUR-003 http://www-anr-ci.cea.fr Sécurité et Sûreté Informatique			REUNIONS
Kickoff meeting (20 Feb. 08 in Rennes)
Meeting (23-24 Jun. 08 in Sophia-Antipolis)
Programme
A. King : "Discovering Congruence Constraints with SAT"
A. Gotlieb : "EUCLIDE : demo and Dynamic Linear Relaxations"
M. Rueher : “CPBPV Constraints for bounded program verification”
N. Williams : “Cheminement de PathCrawler”
B. Marre : “Domaine de contraintes numériques dans Gatel (Colibri)”
Meeting (28 Nov. 2008 in ILOG Gentilly)
Programme
N. Kosmatov "All-Paths Test Generation for Programs with Internal Aliases"
A. Gotlieb "Towards optimal interval arithmetic for wrap-around integer computations"
M. Leconte " "Which semantic for buisness rules analysis ?"
C. Michel "Floating-point simplex"
Coordination Meeting (19 June 2009 in Sophia-Antipolis)
Meeting (21 Oct. 2009 in ILOG Gentilly) – Modular integers B. Marre “Modular arithmetic in Gatel" A. Gotlieb “Constraints solving on modular integers”
Meeting (26 Nov. 2009 in INRIA Paris)   - Floating-Points computations Meeting (30/31 Mars 2010 in Nice) Nadlib Lazaar: On testing constraint programs . Said Belaid: Approximation sur les réels de contraintes sur les flottants. Mickael Delahaye : Explanation-based generalization of infeasible path. Olivier Ponsini: Vérification d'invariants de boucle inductifs Bruno Berstel: Using Constraints to Verify Properties of Rule A. Gotlieb – CAVERN Administratif N. Wiliams, B. Botella, A. Gotlieb – “Memory models in software verification tools” B. Marre, C. Michel  -- “Real and linear relaxations of floating-point constraints” A. Gotlieb, M. Leconte, B. Marre  -- Constraint solving on modular arithmetic       Meeting (28/29 Octobre 2010 in Gentilly) Meeting (28/29 Octobre 2010 in Gentilly) A. Gotlieb : CAVERN – Avancement INRIA N. Williams: CAVERN – Avancement CEA M. Carlier: Filtrage et d´etection d’´egalit´es sur les contraintes arithm´etiques flottantes Meeting (29 Septembre 2011 in Rennes) M. Said Belaid : Linear constraints over floating-point variables Matthieu Carlier  Filtering by maximal ULP Michel Leconte  Propagation of Partial Injections Nicky Williams  Abstract Path Testing Olivier Ponsini: Verification of loop invariants Aymeric Hervieu   Pacogen : automatic generation of pairwise interactions in feature models