DAEDALUS
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.