440 search results - page 3 / 88 » Predicate Abstraction with Indexed Predicates |
TCAD
2008
13 years 5 months ago
2008
el Predicate Abstraction and Refinement Techniques for Verifying RTL Verilog Himanshu Jain, Daniel Kroening, Natasha Sharygina, and Edmund M. Clarke, Fellow, IEEE As a first step, ...
CAV
2006
Springer
13 years 9 months ago
2006
Springer
niques for Fast Predicate Abstraction Shuvendu K. Lahiri , Robert Nieuwenhuis , and Albert Oliveras Abstract. Predicate abstraction is a technique for automatically exfinite-state ...
TBILLC
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. It is a well-known fact that only factive propositional attitude predicates are felicitous with wh- (indirect question) complements. It has also been noted that so-called...
VMCAI
2005
Springer
13 years 11 months ago
2005
Springer
WDAG
2007
Springer
13 years 12 months ago
2007
Springer
Abstract. We examine the problem of detecting nested temporal predicates given the execution trace of a distributed program. We present a technique that allows efficient detection ...