Sciweavers

Share
725 search results - page 1 / 145
» Explaining abstract counterexamples
Sort
View
SIGSOFT
2004
ACM
9 years 7 months ago
Explaining abstract counterexamples
Sagar Chaki, Alex Groce, Ofer Strichman
CAV
2009
Springer
157views Hardware» more  CAV 2009»
10 years 2 months ago
Explaining Counterexamples Using Causality
Abstract. When a model does not satisfy a given specification, a counterexample is produced by the model checker to demonstrate the failure. A user must then examine the counterexa...
Ilan Beer, Shoham Ben-David, Hana Chockler, Avigai...
CAV
2004
Springer
77views Hardware» more  CAV 2004»
9 years 7 months ago
Understanding Counterexamples with explain
The counterexamples produced by model checkers are often lengthy and difficult to understand. In practical verification, showing the existence of a (potential) bug is not enough: ...
Alex Groce, Daniel Kroening, Flavio Lerda
CORR
2008
Springer
154views Education» more  CORR 2008»
9 years 2 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
ICCAD
2007
IEEE
107views Hardware» more  ICCAD 2007»
9 years 11 months ago
Computation of minimal counterexamples by using black box techniques and symbolic methods
— Computing counterexamples is a crucial task for error diagnosis and debugging of sequential systems. If an implementation does not fulfill its specification, counterexamples ...
Tobias Nopper, Christoph Scholl, Bernd Becker
books