500 search results - page 2 / 100 » Thread-Modular Abstraction Refinement |
160
click to vote
CORR
2010
Springer
14 years 10 months ago
2010
Springer
xample Guided Abstraction Refinement Algorithm for Propositional Circumscription Mikol
154
click to vote
ASPDAC
2011
ACM
14 years 7 months ago
2011
ACM
al Abstraction and Refinement Brian Keng and Andreas Veneris University of Toronto ASPASP--DAC 2011DAC 2011
139
click to vote
DAC
2008
ACM
16 years 5 months ago
2008
ACM
ng Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation Yan Chen Dept. of Computer Science Portland State University Portland, OR, 97207 chenyan@cs.pdx.e...