2774 search results - page 241 / 555 » Query-Driven Program Testing |
220
Voted
LPAR
2010
Springer
15 years 28 days ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...
142
Voted
MEMOCODE
2010
IEEE
15 years 28 days ago
2010
IEEE
This paper describes a formal executable semantics for the Verilog hardware description language. The goal of our formalization is to provide a concise and mathematically rigorous...
AISS
2010
15 years 14 days ago
2010
A mathematical multi objective model for the selection of a portfolio of investment is presented and its application in the Mexican Stock Exchange (BMV). The multi objective model...
232
click to vote
AMW
2011
14 years 6 months ago
2011
Abstract. We consider the problem of checking equivalence of conjunctive queries with inequalities under bag (multiset) semantics. The problem is known to be decidable in pspace an...
168
Voted
ICLA
2011
Springer
14 years 6 months ago
2011
Springer
We propose a probabilistic interpretation of Propositional Dynamic Logic (PDL). We show that logical and behavioral equivalence are equivalent over general measurable spaces. This...