Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

VMCAI
2009
Springer

favoriteEmaildiscussreport

114views Software Engineering» more VMCAI 2009»

Constraint-Based Invariant Inference over Predicate Abstraction

13 years 11 months ago

Constraint-Based Invariant Inference over Predicate Abstraction

Download research.microsoft.com

Sumit Gulwani, Saurabh Srivastava, Ramarathnam Ven

Real-time Traffic

Software Engineering | VMCAI 2009 |

claim paper

Related Content

» Predicate abstraction for software verification

» Statically Inferring Complex Heap Array and Numeric Invariants

» Finding Loop Invariants for Programs over Arrays Using a Theorem Prover

» Inferring Invariants by Symbolic Execution

» Interpolation and Symbol Elimination

» Simplifying Loop Invariant Generation Using Splitter Predicates

» Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Tem...

» Constructing Invariants for Hybrid Systems

» DySy dynamic symbolic execution for invariant inference

Post Info
More Details (n/a)

Added	20 May 2010
Updated	20 May 2010
Type	Conference
Year	2009
Where	VMCAI
Authors	Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan

Comments (0)