Search Sciweavers | Sciweavers

18898 search results - page 425 / 3780

» The Making of a Software Engineer

133

click to vote

VMCAI
2005
Springer

101views Software Engineering» more VMCAI 2005»

Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists

16 years 10 days ago

Download www.cs.tau.ac.il

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

claim paper

Read More »

137

click to vote

VMCAI
2005
Springer

81views Software Engineering» more VMCAI 2005»

Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement

16 years 10 days ago

Download www.cis.upenn.edu

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

claim paper

Read More »

128

click to vote

VMCAI
2005
Springer

93views Software Engineering» more VMCAI 2005»

Abstract Interpretation with Alien Expressions and Heap Structures

16 years 10 days ago

Download www.cs.colorado.edu

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

claim paper

Read More »

158

click to vote

VMCAI
2005
Springer

65views Software Engineering» more VMCAI 2005»

Scalable Analysis of Linear Systems Using Mathematical Programming

16 years 10 days ago

Download ropas.snu.ac.kr

Sriram Sankaranarayanan, Henny B. Sipma, Zohar Man...

claim paper

Read More »

142

click to vote

VSTTE
2005
Springer

156views Software Engineering» more VSTTE 2005»

Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification

16 years 10 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers