2 search results - page 1 / 1 » Automatically Inferring Quantified Loop Invariants by Algori... |
93
Voted
APLAS
2010
ACM
15 years 19 days 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...
114
Voted
CAV
2011
Springer
14 years 4 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...