Search Sciweavers | Sciweavers

395 search results - page 10 / 79

» Predicate Abstraction with Minimum Predicates

101

click to vote

CAV
2006
Springer

108views Hardware» more CAV 2006»

Counterexamples with Loops for Predicate Abstraction

15 years 6 months ago

Download www.kroening.com

Daniel Kroening, Georg Weissenbacher

claim paper

Read More »

100

Voted

ESOP
2008
Springer

96views Programming Languages» more ESOP 2008»

Non-disjunctive Numerical Domain for Array Predicate Abstraction

15 years 4 months ago

Download penjili.org

Xavier Allamigeon

claim paper

Read More »

122

Voted

FMCAD
2008
Springer

85views Formal Methods» more FMCAD 2008»

Combining Predicate and Numeric Abstraction for Software Model Checking

15 years 4 months ago

Download www.contrib.andrew.cmu.edu

Arie Gurfinkel, Sagar Chaki

claim paper

Read More »

Voted

CORR
2007
Springer

90views Education» more CORR 2007»

Predicate Abstraction with Under-approximation Refinement

15 years 2 months ago

Download www.cs.sun.ac.za

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

claim paper

Read More »

Voted

JUCS
2008

159views more JUCS 2008»

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

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers