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. |
 |
|
|