Login / Signup
Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs.
Johann Blieberger
Bernd Burgstaller
Bernhard Scholz
Published in:
Ada-Europe (2000)
Keyphrases
</>
flow analysis
symbolic data
complex data
information flow
symbolic data analysis
numerical data
forensic analysis
data sets
principal component analysis
interval data
static analysis
optimal solution