DAEDALUS
This article deals with a European research project. For other uses of the name, see Daedalus (disambiguation).
The European research project DAEDALUS (2000-2002) dealt with 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".
Applications included the static analysis of multi-threaded computer programs, for which a programming tool that checks for the absence of programming errors was provided.