12981 search results - page 268 / 2597 » Model Checking (Abstract) |
121
Voted
FORMATS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In this paper we report a new SAT solver for difference logic, a propositional logic enriched with timing constraints. The main novelty of our solver is a tighter integra...
136
Voted
FLOPS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We present a lightweight, automated tool for specificationbased testing of declarative programs written in the functional logic programming language Curry and emphasize t...
132
click to vote
CSL
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. This paper shows undecidability of type-checking and typeinference problems in domain-free typed lambda-calculi with existential types: a negation and conjunction fragmen...
EACL
2009
ACL Anthology
16 years 4 months ago
2009
ACL Anthology
106
Voted
CGO
2009
IEEE
15 years 10 months ago
2009
IEEE