DAEDALUS

From Wikipedia, the free encyclopedia

You have new messages (last change).
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.

[edit] See also

[edit] External links


 This software-related article is a stub. You can help Wikipedia by expanding it.
Retrieved from "http://en.wikipedia.org../../../d/a/e/DAEDALUS_b5b7.html"