Search Sciweavers | Sciweavers

31387 search results - page 168 / 6278

» Abstracts

144

VMCAI
2005
Springer

80views Software Engineering» more VMCAI 2005»

Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming

15 years 12 months ago

Download www.di.ens.fr

Patrick Cousot

claim paper

Read More »

158

click to vote

VMCAI
2005
Springer

108views Software Engineering» more VMCAI 2005»

Automata as Abstractions

15 years 12 months ago

Download www.dsi.unive.it

Dennis Dams, Kedar S. Namjoshi

claim paper

Read More »

163

click to vote

VMCAI
2005
Springer

115views Software Engineering» more VMCAI 2005»

The Arithmetic-Geometric Progression Abstract Domain

15 years 12 months ago

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 »

141

click to vote

VSTTE
2005
Springer

78views Software Engineering» more VSTTE 2005»

Model-Checking Software Using Precise Abstractions

15 years 12 months ago

Download vstte.ethz.ch

Marsha Chechik, Arie Gurfinkel

claim paper

Read More »

131

click to vote

VSTTE
2005
Springer

156views Software Engineering» more VSTTE 2005»

Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers