Module Checking.

Orna Kupferman Moshe Y. Vardi Pierre Wolper

Published in: Inf. Comput. (2001)

Keyphrases

pattern recognition
verification method
natural language
computer vision
website
decision trees
multiscale
query processing
control system
verilog hdl