Login / Signup

Using partial order techniques to improve performance of data flow analysis based verification.

Gleb NaumovichLori A. ClarkeJamieson 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