Search Sciweavers | Sciweavers

440 search results - page 11 / 88

» Predicate Abstraction with Indexed Predicates

162

Voted

ESOP
2008
Springer

96views Programming Languages» more ESOP 2008»

Non-disjunctive Numerical Domain for Array Predicate Abstraction

15 years 9 months ago

Download penjili.org

Xavier Allamigeon

claim paper

Read More »

187

click to vote

FMCAD
2008
Springer

85views Formal Methods» more FMCAD 2008»

Combining Predicate and Numeric Abstraction for Software Model Checking

15 years 9 months ago

Download www.contrib.andrew.cmu.edu

Arie Gurfinkel, Sagar Chaki

claim paper

Read More »

107

click to vote

CORR
2007
Springer

90views Education» more CORR 2007»

Predicate Abstraction with Under-approximation Refinement

15 years 7 months ago

Download www.cs.sun.ac.za

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

claim paper

Read More »

156

Voted

JUCS
2008

159views more JUCS 2008»

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

15 years 7 months ago

Download www.jucs.org

Anatol Slissenko, Pavel Vasilyev

claim paper

Read More »

145

Voted

DT
2007

98views more DT 2007»

Combining Theorem Proving with Model Checking through Predicate Abstraction

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers