Validation of critical software by static analysis and abstract testing

 Public documents produced by the DAEDALUS project
(April 2001 — September 2001)

This page contains the public documents produced by the DAEDALUS project. Due to copyrights restrictions, the electronic version of some of these publications is accessible online only to DEADALUS participants and commission project officers. It is available in printed form from the publishers for the general public.


Accepted for publication


Copyright notice       ACM copyright notice       Springer-Verlag copyright notice
Retour à / back to: DAEDALUS, P. Cousot: Index, Institutions, Enseignement / Teaching, Recherche / Research, Services
Email: cousot@di.ens.fr, cousotp@acm.org
Dernière mise à jour / Last modified : Wednesday, 04-Jun-2003 12:39:57 CEST