Final report of the DAEDALUS projecton the Validation of critical software by static analysis and abstract testing |
DAEDALUS is the shared-cost research and technology development (RTD) project IST-1999-20527 of the european IST Programme of the Fifth Framework Programme (FP5) on the « validation of software components embedded in future generation critical concurrent systems by exhaustive semantic-based static analysis and abstract testing methods based on abstract interpretation ».