Verification Using PEP.

Stephan Melzer Stefan Römer Javier Esparza

Published in: AMAST (1996)

Keyphrases

model checking
image segmentation
asynchronous circuits
formal methods
formal verification
real world
information systems
image processing
bayesian networks
search algorithm
feature vectors
verification method