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 software 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 computer bugs was provided.

=See also=

=External links=