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

14 years 1 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 3 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

14 years 1 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 3 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 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers