Sciweavers

82 search results - page 5 / 17

» Predicate abstraction and CEGAR for higher-order model check...

157

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

Using predicate abstraction to reduce object-oriented programs for model checking

Download ti.arc.nasa.gov

Willem Visser, Seungjoon Park, John Penix

claim paper

Read More »

155

FMCAD
2008
Springer

85views Formal Methods» more FMCAD 2008»

Combining Predicate and Numeric Abstraction for Software Model Checking

15 years 7 months ago

Combining Predicate and Numeric Abstraction for Software Model Checking

Download www.contrib.andrew.cmu.edu

Arie Gurfinkel, Sagar Chaki

claim paper

Read More »

125

DT
2007

98views more DT 2007»

Combining Theorem Proving with Model Checking through Predicate Abstraction

15 years 6 months ago

Combining Theorem Proving with Model Checking through Predicate Abstraction

Download www.cs.utexas.edu

Sandip Ray, Rob Sumners

claim paper

Read More »

122

JUCS
2008

159views more JUCS 2008»

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

15 years 6 months ago

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

Download www.jucs.org

Anatol Slissenko, Pavel Vasilyev

claim paper

Read More »

191

ATVA
2008
Springer

87views Hardware» more ATVA 2008»

Goanna: Syntactic Software Model Checking

15 years 8 months ago

Goanna: Syntactic Software Model Checking

Download www.cse.unsw.edu.au

Goanna is an industrial-strength static analysis tool used in academia and industry alike to find bugs in C/C++ programs. Unlike existing approaches Goanna uses the off-the-shelf N...

Ralf Huuck, Ansgar Fehnker, Sean Seefried, Jö...

claim paper

Read More »

« Prev « First page 5 / 17 Last » Next »