Search Sciweavers | Sciweavers

395 search results - page 10 / 79

» Predicate Abstraction with Minimum Predicates

click to vote

CAV
2006
Springer

108views Hardware» more CAV 2006»

Counterexamples with Loops for Predicate Abstraction

14 years 1 months ago

Download www.kroening.com

Daniel Kroening, Georg Weissenbacher

claim paper

Read More »

click to vote

ESOP
2008
Springer

96views Programming Languages» more ESOP 2008»

Non-disjunctive Numerical Domain for Array Predicate Abstraction

13 years 11 months ago

Download penjili.org

Xavier Allamigeon

claim paper

Read More »

click to vote

FMCAD
2008
Springer

85views Formal Methods» more FMCAD 2008»

Combining Predicate and Numeric Abstraction for Software Model Checking

13 years 11 months ago

Download www.contrib.andrew.cmu.edu

Arie Gurfinkel, Sagar Chaki

claim paper

Read More »

click to vote

CORR
2007
Springer

90views Education» more CORR 2007»

Predicate Abstraction with Under-approximation Refinement

13 years 10 months ago

Download www.cs.sun.ac.za

Corina S. Pasareanu, Radek Pelánek, Willem ...

claim paper

Read More »

click to vote

JUCS
2008

159views more JUCS 2008»

Simulation of Timed Abstract State Machines with Predicate Logic Model-Checking

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers