Refinement strategies for verification methods based on datapath abstraction.

Zaher S. Andraus Mark H. Liffiton Karem A. Sakallah

Published in: ASP-DAC (2006)

Keyphrases

benchmark datasets
qualitative and quantitative
real time
neural network
computational cost
model checking
statistical methods