Automata-based assertion-checker synthesis of PSL properties.

Marc Boule Zeljko Zilic

Published in: ACM Trans. Design Autom. Electr. Syst. (2008)

Keyphrases

multiresolution
topological properties
information systems
image segmentation
wide range
cooperative
relational databases