119 search results - page 20 / 24 » Verification of Structural Pattern Conformance Using Logic P... |
124
Voted
ECAIW
1994
Springer
15 years 7 months ago
1994
Springer
Abstract. In this paper we describe an approach to the representation and implementation of agent-based systems where the behaviour of an individual agent is represented by a set o...
173
Voted
JCST
2010
14 years 10 months ago
2010
With recent efforts to build foundational certified software systems, two different approaches have been proposed to certify thread context switching. One is to certify both thread...
138
Voted
ERLANG
2007
ACM
15 years 7 months ago
2007
ACM
We propose a small extension of the ERLANG language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are opt...
158
Voted
CAV
2008
Springer
15 years 5 months ago
2008
Springer
We present CSIsat, an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementa...
135
Voted
PLDI
2010
ACM
16 years 1 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...