Search Sciweavers | Sciweavers

22 search results - page 1 / 5

» vmcai 2010

click to vote

VMCAI
2010
Springer

135views Software Engineering» more VMCAI 2010»

Abstract Interpretation-Based Protection

13 years 11 months ago

Download rosaec.snu.ac.kr

Roberto Giacobazzi

claim paper

Read More »

click to vote

VMCAI
2010
Springer

157views Software Engineering» more VMCAI 2010»

Abstract Threads

14 years 1 months ago

Download www.vs.inf.ethz.ch

Shuvendu K. Lahiri, Alexander Malkis, Shaz Qadeer

claim paper

Read More »

click to vote

VMCAI
2010
Springer

172views Software Engineering» more VMCAI 2010»

Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction

13 years 11 months ago

Download ropas.snu.ac.kr

Yungbum Jung, Soonho Kong, Bow-Yaw Wang, Kwangkeun...

claim paper

Read More »

click to vote

VMCAI
2010
Springer

146views Software Engineering» more VMCAI 2010»

Interpolant Strength

14 years 1 months ago

Download www.georg.weissenbacher.name

Vijay D'Silva, Daniel Kroening, Mitra Purandare, G...

claim paper

Read More »

click to vote

VMCAI
2010
Springer

143views Software Engineering» more VMCAI 2010»

An Abstract Domain to Discover Interval Linear Equalities

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers