2 search results - page 1 / 1 » Automatically Inferring Quantified Loop Invariants by Algori... |
APLAS
2010
ACM
13 years 5 months ago
2010
ACM
Abstract. By combining algorithmic learning, decision procedures, predicate abstraction, and simple templates, we present an automated technique for finding quantified loop invaria...
CAV
2011
Springer
12 years 8 months ago
2011
Springer
Abstract. We present a novel static analysis technique that substantially improves the quality of invariants inferred by standard loop invariant generation techniques. Our techniqu...