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.

See also

• Software testing
• static code analysis

External links

• Official home page of DAEDALUS
• The Trier Data-Race Analyzer