696 search results - page 4 / 140 » Explaining abstract counterexamples |
83
Voted
CAV
2006
Springer
15 years 4 months ago
2006
Springer
98
Voted
SAS
2010
Springer
14 years 11 months ago
2010
Springer
ion Refinement Alexander Malkis1 , Andreas Podelski2 , and Andrey Rybalchenko3 1 IMDEA Software 2 University of Freiburg 3 TU M
FORTE
2004
15 years 2 months ago
2004
Witnesses and counterexamples produced by model checkers provide a very useful source of diagnostic information. They are usually returned in the form of a single computation path ...
103
Voted
LPAR
2010
Springer
14 years 11 months ago
2010
Springer
Induction proofs often fail because the stated theorem is noninductive, in which case the user must strengthen the theorem or prove auxiliary properties before performing the induc...
102
Voted
ECOOP
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. We analyse the validity of several common program transformations in multi-threaded Java, as defined by the Java Memory Model (JMM) section of Chapter 17 of the Java Lang...