Search Sciweavers | Sciweavers

395 search results - page 9 / 79

» Predicate Abstraction with Minimum Predicates

click to vote

DATE
2010
IEEE

121views Hardware» more DATE 2010»

Tighter integration of BDDs and SMT for Predicate Abstraction

14 years 3 months ago

Download www.date-conference.com

Alessandro Cimatti, Anders Franzén, Alberto...

claim paper

Read More »

click to vote

ECOOP
2010
Springer

150views Programming Languages» more ECOOP 2010»

Concurrent Abstract Predicates

14 years 2 months ago

Download www.cl.cam.ac.uk

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

claim paper

Read More »

click to vote

FMSP
2000
ACM

131views Formal Methods» more FMSP 2000»

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

14 years 2 months ago

Download ti.arc.nasa.gov

Willem Visser, Seungjoon Park, John Penix

claim paper

Read More »

click to vote

AMAST
2006
Springer

115views Software Engineering» more AMAST 2006»

Opaque Predicates Detection by Abstract Interpretation

14 years 1 months ago

Download profs.sci.univr.it

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

claim paper

Read More »

click to vote

ATVA
2006
Springer

79views Hardware» more ATVA 2006»

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

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers