Search Sciweavers | Sciweavers

440 search results - page 11 / 88

» Predicate Abstraction with Indexed Predicates

click to vote

ESOP
2008
Springer

96views Programming Languages» more ESOP 2008»

Non-disjunctive Numerical Domain for Array Predicate Abstraction

14 years 12 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

14 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

14 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

14 years 10 months ago

Download www.jucs.org

Anatol Slissenko, Pavel Vasilyev

claim paper

Read More »

click to vote

DT
2007

98views more DT 2007»

Combining Theorem Proving with Model Checking through Predicate Abstraction

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers