159
click to vote
ADAEUROPE
2006
Springer
16 years 10 days 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...