Decomposition for Compositional Verification.

Björn Metzler Heike Wehrheim Daniel Wonisch

Published in: ICFEM (2008)

Keyphrases

decomposition algorithm
model checking
signature verification
decomposition methods
clustering algorithm
database systems
decomposition method
data sets
databases
data mining
machine learning
face verification
formal verification
hierarchical decomposition
asynchronous circuits