Sign in
Using partial order techniques to improve performance of data flow analysis based verification.
Gleb Naumovich
Lori A. Clarke
Jamieson M. Cobleigh
Published in:
ACM SIGSOFT Softw. Eng. Notes (1999)
Keyphrases
</>
partial order
data sets
data processing
flow analysis
data structure
probability distribution
intrusion detection
temporal information