Sciweavers

82 search results - page 5 / 17

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

89

Voted

FMSP
2000
ACM

131views Formal Methods» more FMSP 2000»

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

15 years 4 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 »

94

FMCAD
2008
Springer

85views Formal Methods» more FMCAD 2008»

Combining Predicate and Numeric Abstraction for Software Model Checking

15 years 1 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 »

74

DT
2007

98views more DT 2007»

Combining Theorem Proving with Model Checking through Predicate Abstraction

14 years 11 months ago

Combining Theorem Proving with Model Checking through Predicate Abstraction

Download www.cs.utexas.edu

Sandip Ray, Rob Sumners

claim paper

Read More »

72

JUCS
2008

159views more JUCS 2008»

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

14 years 11 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 »

123

Voted

ATVA
2008
Springer

87views Hardware» more ATVA 2008»

Goanna: Syntactic Software Model Checking

15 years 1 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 »