24 search results - page 2 / 5 » Inferring Loop Invariants Using Postconditions |
116
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...
95
Voted
APLAS
2005
ACM
15 years 2 months ago
2005
ACM
This paper describes a sound technique that combines the precision em proving with the loop-invariant inference of abstract interpretation. The loop-invariant computations are invo...
126
Voted
ISSAC
2004
Springer
15 years 6 months ago
2004
Springer
In [17], an abstract framework for automatically generating loop invariants of imperative programs was proposed. This framework was then instantiated for the language of conjuncti...
112
Voted
APSEC
2005
IEEE
15 years 6 months ago
2005
IEEE
— Invariant based programming is an approach to program construction where we provide the program pre- and postconditions as well as loop invariants before we construct the code ...
106
Voted
CADE
2007
Springer
16 years 26 days ago
2007
Springer
In this paper we propose a method for inferring invariants for loops in Java programs. An example of a simple while loop is used throughout the paper to explain our approach. The m...