500 search results - page 2 / 100 » Thread-Modular Abstraction Refinement |
CORR
2010
Springer
12 years 11 months ago
2010
Springer
xample Guided Abstraction Refinement Algorithm for Propositional Circumscription Mikol
ASPDAC
2011
ACM
12 years 8 months ago
2011
ACM
al Abstraction and Refinement Brian Keng and Andreas Veneris University of Toronto ASPASP--DAC 2011DAC 2011
JAIR
2008
13 years 4 months ago
2008
TC
2010
13 years 3 months ago
2010
DAC
2008
ACM
14 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...