Sciweavers

19 search results - page 2 / 4

» vmcai 2005

4

VMCAI
2005
Springer

101views Software Engineering» more VMCAI 2005»

Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists

13 years 10 months ago

Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists

Download www.cs.tau.ac.il

Roman Manevich, Eran Yahav, Ganesan Ramalingam, Sh...

claim paper

Read More »

9

VMCAI
2005
Springer

81views Software Engineering» more VMCAI 2005»

Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement

13 years 10 months ago

Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement

Download www.cis.upenn.edu

Sebastian Burckhardt, Rajeev Alur, Milo M. K. Mart...

claim paper

Read More »

10

VMCAI
2005
Springer

93views Software Engineering» more VMCAI 2005»

Abstract Interpretation with Alien Expressions and Heap Structures

13 years 10 months ago

Abstract Interpretation with Alien Expressions and Heap Structures

Download www.cs.colorado.edu

Bor-Yuh Evan Chang, K. Rustan M. Leino

claim paper

Read More »

16

VMCAI
2005
Springer

115views Software Engineering» more VMCAI 2005»

The Arithmetic-Geometric Progression Abstract Domain

13 years 10 months ago

The Arithmetic-Geometric Progression Abstract Domain

Download www.di.ens.fr

Domain VMCAI 2005 Jérôme Feret Laboratoire d’Informatique de l’École Normale Supérieure INRIA, ÉNS, CNRS ØØÔ »»ÛÛÛº º Ò×º Ö»∼ Ö Ø December, 2008.

Jérôme Feret

claim paper

Read More »

11

VMCAI
2005
Springer

61views Software Engineering» more VMCAI 2005»

Termination of Polynomial Programs

13 years 10 months ago

Termination of Polynomial Programs

Download theory.stanford.edu

We present a technique to prove termination of multipath polynomial programs, an expressive class of loops that enables practical traction and analysis. The technique is based on �...

Aaron R. Bradley, Zohar Manna, Henny B. Sipma

claim paper

Read More »

« Prev « First page 2 / 4 Last » Next »