Exploiting Shared Structure in Software Verification Conditions.

Domagoj Babic Alan J. Hu

Published in: Haifa Verification Conference (2007)

Keyphrases

structural properties
sufficient conditions
artificial intelligence
information systems
decision making
decision trees
cooperative
digital libraries
hierarchical structure
structural information
complex structures