Sciweavers

CAV
2009
Springer

InvGen: An Efficient Invariant Generator

14 years 11 months ago
InvGen: An Efficient Invariant Generator
Abstract. In this paper we present InvGen, an automatic linear arithmetic invariant generator for imperative programs. InvGen's unique feature is in its use of dynamic analysis to make invariant generation order of magnitude more efficient.
Ashutosh Gupta, Andrey Rybalchenko
Added 25 Nov 2009
Updated 25 Nov 2009
Type Conference
Year 2009
Where CAV
Authors Ashutosh Gupta, Andrey Rybalchenko
Comments (0)