696 search results - page 6 / 140 » Explaining abstract counterexamples |
BIRTHDAY
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. In this work we introduce counterexample guided path reduction based on interval constraint solving for static program analysis. The aim of this technique is to reduce th...
FORMATS
2004
Springer
14 years 23 days ago
2004
Springer
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...
JSYML
2006
13 years 7 months ago
2006
Abstract. We produce counterexamples to the unique and cofinal branches hypotheses, assuming (slightly less than) the existence of a cardinal which is strong past a Woodin cardinal...
CONCUR
2010
Springer
13 years 8 months ago
2010
Springer
ned Monotonic Abstraction: a CEGAR for Parameterized Verification Parosh Aziz Abdulla1 , Yu-Fang Chen2 , Giorgio Delzanno3 , Fr
QEST
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract—We present an approach to support the debugging of stochastic system models using interactive visualization. The goal of this work is to facilitate the identification o...