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

15 years 11 months ago

Download www.date-conference.com

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

claim paper

Read More »

123

click to vote

ECOOP
2010
Springer

150views Programming Languages» more ECOOP 2010»

Concurrent Abstract Predicates

15 years 10 months ago

Download www.cl.cam.ac.uk

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

claim paper

Read More »

154

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 »

122

click to vote

AMAST
2006
Springer

115views Software Engineering» more AMAST 2006»

Opaque Predicates Detection by Abstract Interpretation

15 years 9 months ago

Download profs.sci.univr.it

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

claim paper

Read More »

140

click to vote

ATVA
2006
Springer

79views Hardware» more ATVA 2006»

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

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers