Verification of BDD Normalization.

Veronika Ortner Norbert Schirmer

Published in: TPHOLs (2005)

Keyphrases

model checking
formal verification
face verification
binary decision diagrams
preprocessing
signature verification
normalization method
video sequences
asynchronous circuits
verification method
concurrent systems
real time
three dimensional
petri net
high security