ESOP
15 years 6 months ago
2003 Springer 
This paper proposes the use of constraint logic programming (CLP) to perform model checking of traditional, imperative programs. We present a semantics-preserving translation from ...
108
click to vote
ESOP
15 years 6 months ago
2003 Springer 
In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular individual constraints, and there are also log...
103
click to vote
ESOP
15 years 6 months ago
2003 Springer 
Abstract. This paper concerns mechanisms for maintaining the value of an instrumentation predicate (a.k.a. derived predicate or view), defined via a logical formula over core pred...
ESOP
15 years 6 months ago
2003 Springer |
Programming Languages