Information AboutDaedalus |
| CATEGORIES ABOUT DAEDALUS | |
| greek mythology | |
| fictional scientists | |
| SHOPPER'S DELIGHT | |
|
The European research project DAEDALUS ( 2000 – 2002 ) dealt with the "validation of software components embedded in future generation critical Concurrent systems by exhaustive semantic-based Static Analysis and abstract Testing methods based on Abstract Interpretation ". Applications included the static analysis of multi-threaded Computer Program s, for which a Programming Tool that checks for the absence of Programming Errors was provided. SEE ALSO EXTERNAL LINKS |