Some conditions under which hierarchical verification is O(N).

Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2003)

Keyphrases

sufficient conditions
coarse to fine
model checking
machine learning
case study
hierarchical clustering
formal verification
real world
website
decision trees
hierarchical structure
person identification
concurrent systems