395 search results - page 34 / 79 » Predicate Abstraction with Minimum Predicates |
148
click to vote
CIE
2009
Springer
16 years 15 days ago
2009
Springer
Abstract. Let Fq be a finite field with q elements. We produce an (effective) elimination of quantifiers for the structure of the set of polynomials, Fq[t], of one variable, in...
219
click to vote
KBSE
2007
IEEE
16 years 6 days ago
2007
IEEE
We describe EUREKA, a symbolic model checker for Linear Programs with arrays, i.e. programs where variables and array elements range over a numeric domain and expressions involve ...
148
click to vote
FATES
2005
Springer
15 years 11 months ago
2005
Springer
We propose a novel, practical coverage metric called “location pairs” (LP) for concurrently-accessed software components. The LP metric captures well common concurrency errors ...
177
click to vote
ICALP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We present a Hoare logic for a simple imperative whilelanguage with stored commands, ie. stored parameterless procedures. Stores that may contain procedures are called hi...
152
click to vote
ILP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper is concerned with generalization issues for a decision tree learner for structured data called Alkemy. Motivated by error bounds established in statistical lea...