Main Page | See live article | Alphabetical index

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

External links