ADAEUROPE
2006
Springer
14 years 1 months ago
2006
Springer
In this paper we present data flow frameworks that are able to detect access anomalies in Ada multi-tasking programs. In particular, our approach finds all possible non-sequentia...