Search Sciweavers | Sciweavers

1206 search results - page 3 / 242

» Concurrent Abstract Predicates

click to vote

ATVA
2007
Springer

77views Hardware» more ATVA 2007»

Using Counterexample Analysis to Minimize the Number of Predicates for Predicate Abstraction

13 years 11 months ago

Download www.cad.t.u-tokyo.ac.jp

Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro ...

claim paper

Read More »

click to vote

CHARME
2003
Springer

68views Hardware» more CHARME 2003»

Predicate Abstraction with Minimum Predicates

13 years 10 months ago

Download www.cs.cmu.edu

Sagar Chaki, Edmund M. Clarke, Alex Groce, Ofer St...

claim paper

Read More »

click to vote

CORR
2004
Springer

85views Education» more CORR 2004»

Predicate Abstraction with Indexed Predicates

13 years 5 months ago

Download www.cs.cmu.edu

Shuvendu K. Lahiri, Randal E. Bryant

claim paper

Read More »

click to vote

TACAS
2010
Springer

181views Algorithms» more TACAS 2010»

Boom: Taking Boolean Program Model Checking One Step Further

14 years 9 days ago

Download www.comlab.ox.ac.uk

Abstract. We present Boom, a comprehensive analysis tool for Boolean programs. We focus in this paper on model-checking non-recursive concurrent programs. Boom implements a recent ...

Gérard Basler, Matthew Hague, Daniel Kroeni...

claim paper

Read More »

click to vote

VMCAI
2005
Springer

101views Software Engineering» more VMCAI 2005»

Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers