From Bvio.com

Jump to: navigation, search

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

Retrieved from "http://Bvio.com/DAEDALUS"
Personal tools