Search Sciweavers | Sciweavers

440 search results - page 10 / 88

» Predicate Abstraction with Indexed Predicates

129

click to vote

ECOOP
2010
Springer

150views Programming Languages» more ECOOP 2010»

Concurrent Abstract Predicates

15 years 11 months ago

Download www.cl.cam.ac.uk

Thomas Dinsdale-Young, Mike Dodds, Philippa Gardne...

claim paper

Read More »

163

click to vote

FMSP
2000
ACM

131views Formal Methods» more FMSP 2000»

Using predicate abstraction to reduce object-oriented programs for model checking

15 years 10 months ago

Download ti.arc.nasa.gov

Willem Visser, Seungjoon Park, John Penix

claim paper

Read More »

129

click to vote

AMAST
2006
Springer

115views Software Engineering» more AMAST 2006»

Opaque Predicates Detection by Abstract Interpretation

15 years 10 months ago

Download profs.sci.univr.it

Mila Dalla Preda, Matias Madou, Koen De Bosschere,...

claim paper

Read More »

148

Voted

ATVA
2006
Springer

79views Hardware» more ATVA 2006»

Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise

15 years 10 months ago

Download www.doc.ic.ac.uk

Harald Fecher, Michael Huth

claim paper

Read More »

144

Voted

CAV
2006
Springer

108views Hardware» more CAV 2006»

Counterexamples with Loops for Predicate Abstraction

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers