Automatic partitioning for efficient combinatorial verification.

Rajarshi Mukherjee Jawahar Jain Koichiro Takayama Masahiro Fujita

Published in: ASP-DAC (2000)

Keyphrases

multiresolution
computationally expensive
lightweight
cost effective
formal verification
neural network
information retrieval
search algorithm
data driven
model checking
fully automatic
image processing
mobile robot
computationally efficient
temporal logic
space partitioning