Sciweavers

Share
139 search results - page 1 / 28
» Abstract Counterexamples for Non-disjunctive Abstractions
Sort
View
CORR
2010
Springer
142views Education» more  CORR 2010»
8 years 10 months ago
Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription
xample Guided Abstraction Refinement Algorithm for Propositional Circumscription Mikol
Mikolás Janota, João Marques-Silva, ...
SAS
2010
Springer
175views Formal Methods» more  SAS 2010»
9 years 1 months ago
Thread-Modular Counterexample-Guided Abstraction Refinement
ion Refinement Alexander Malkis1 , Andreas Podelski2 , and Andrey Rybalchenko3 1 IMDEA Software 2 University of Freiburg 3 TU M
Alexander Malkis, Andreas Podelski, Andrey Rybalch...
RP
2009
Springer
136views Control Systems» more  RP 2009»
9 years 8 months ago
Abstract Counterexamples for Non-disjunctive Abstractions
Counterexamples for Non-disjunctive ions K. L. McMillan1 and L. D. Zuck2 1 Cadence Research Labs 2 University of Illinois at Chicago Counterexample-guided abstraction reļ¬nement (...
Kenneth L. McMillan, Lenore D. Zuck
CORR
2008
Springer
154views Education» more  CORR 2008»
9 years 3 months ago
A Counterexample Guided Abstraction-Refinement Framework for Markov Decision Processes
rexample Guided Abstraction-Refinement Framework for Markov Decision Processes ROHIT CHADHA and MAHESH VISWANATHAN Dept. of Computer Science, University of Illinois at Urbana-Champ...
Rohit Chadha, Mahesh Viswanathan
books