CAVERN ANR-07-SESUR-003 http://www-anr-ci.cea.fr Sécurité et Sûreté Informatique			OUTCOMES
Home Partners Tools Publications Meetings Models Outcomes Poster
	Délivrable WP1 : Exigences, domaines abstraits et plan d’évaluation Délivrable WP2.1 : Modèles mémoire Délivrable WP3.1 : Polyhedral abstractions in constraint-based testing Délivrable WP3.2 : Constraint solving on modular integer computations Délivrable WP4.1  : Domaines abstraits pour les nombres à virgule flottante Délivrable WP4.2 : Amélioration des techniques de filtrage sur les flottants Délivrable WP2.2  : Modelling physical memory in C programs Délivrable WP3.2  : Abstract domain for constraint-based modeling of the memory -- A combined approach for solving constraints over Finite Domains and Arrays Délivrable WP3.3  : Infeasible Path Generalization in Dynamic Symbolic Execution Délivrable WP4.3  : Adaptation des résultats du WP3 aux flottants Délivrable WP5.1  : Using Constraints to Verify Properties of Rule Programs Délivrable WP5.2  : Experiments on path-oriented test data generation for floating-point programs Délivrable WP5.3  : Evaluation report. Modular integer constraints, integration in CEA tools for test generation on C code.