InvGen: An Efficient Invariant Generator

14 years 5 months ago

Download www.mpi-sws.org

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

Real-time Traffic

Arithmetic Invariant Generator | CAV 2009 | Formal Methods | Imperative Programs | Invariant Generation Order |

claim paper

Related Content

» Convex Graph Invariants

» Strong Invariants for the Efficient Construction of MachineChecked Protocol Security Proof...

» Ramanujans class invariants and their use in elliptic curve cryptography

» Local Linear Regression LLR for Pose Invariant Face Recognition

» 3D Face Recognition Using Joint Differential Invariants

» Identifying spatially similar gene expression patterns in early stage fruit fly embryo ima...

» Efficient Rotation Invariant Retrieval of Shapes with Applications in Medical Databases

» A strategy for efficiently verifying requirements

» Computational Efficiency of Structural Image Matching

Post Info
More Details (n/a)

Added	25 Nov 2009
Updated	25 Nov 2009
Type	Conference
Year	2009
Where	CAV
Authors	Ashutosh Gupta, Andrey Rybalchenko

Comments (0)

Sciweavers

InvGen: An Efficient Invariant Generator

Arithmetic Invariant Generator | CAV 2009 | Formal Methods | Imperative Programs | Invariant Generation Order |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers