Science Fair Project Encyclopedia
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.
See also
External links
10-26-2009 08:16:03
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details


