6 search results - page 1 / 2 » Counterexample Guided Abstraction Refinement Algorithm for P... |
CORR
2010
Springer
12 years 10 months ago
2010
Springer
xample Guided Abstraction Refinement Algorithm for Propositional Circumscription Mikol
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...
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
DAC
2006
ACM
14 years 5 months ago
2006
ACM
Traces Kuntal Nanshi, Fabio Somenzi University of Colorado at Boulder ne abstraction refinement and simulation to provide a more efficient approach to checking invariant properti...
POPL
2010
ACM
14 years 1 months ago
2010
ACM
The automated inference of quantified invariants is considered one of the next challenges in software verification. The question of the right precision-efficiency tradeoff for the...