DAEDALUS

The research project DAEDALUS deals with the analysis of multi-threaded programs. A software tool that checks for the absence of programming errors is provided.

See also

• Software testing
• static code analysis

External links

• The Trier Data-Race Analyzer