Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based Verification.

Gleb Naumovich Lori A. Clarke Jamieson M. Cobleigh

Published in: PASTE (1999)

Keyphrases

partial order
flow analysis
data sets
data structure
data sources
data mining techniques
data processing
computer systems
partially ordered
forensic analysis