507 search results - page 1 / 102 » Counterexample-Guided Abstraction Refinement |
SAS
2010
Springer
13 years 2 months ago
2010
Springer
ion Refinement Alexander Malkis1 , Andreas Podelski2 , and Andrey Rybalchenko3 1 IMDEA Software 2 University of Freiburg 3 TU M
CORR
2008
Springer
13 years 4 months ago
2008
Springer
rexample Guided Abstraction-Refinement Framework for Markov Decision Processes ROHIT CHADHA and MAHESH VISWANATHAN Dept. of Computer Science, University of Illinois at Urbana-Champ...
CORR
2010
Springer
12 years 11 months ago
2010
Springer
xample Guided Abstraction Refinement Algorithm for Propositional Circumscription Mikol
CAV
2000
Springer
13 years 8 months ago
2000
Springer
xample-Guided Abstraction Refinement for Symbolic Model Checking EDMUND CLARKE YUAN LU Carnegie Mellon University, Pittsburgh, Pennsylvania Broadcom Co., San Jose, California ORNA ...