Structural Abstraction of Software Verification Conditions.

Domagoj Babic Alan J. Hu

Published in: CAV (2007)

Keyphrases

sufficient conditions
high level
decision theoretic planning
real time
data sets
information retrieval
metadata
image sequences
wide range
cooperative
structural information
environmental conditions