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

External links