DAEDALUS
From Wikipedia, the free encyclopedia.
The research project DAEDALUS deals with the analysis of multi-threaded programs.
A programming tool that checks for the absence of programming errors is provided.
![]() |
| Websearch | Directory | Dictionary | FactBook | ![]() |
| Wikipedia: DAEDALUS | |
|
DAEDALUS From Wikipedia, the free encyclopedia. The research project DAEDALUS deals with the analysis of multi-threaded programs. A programming tool that checks for the absence of programming errors is provided. |
|
|