119 search results - page 20 / 24 » Verification of Structural Pattern Conformance Using Logic P... |
90
Voted
ECAIW
1994
Springer
15 years 3 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...
127
click to vote
JCST
2010
14 years 6 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...
ERLANG
2007
ACM
15 years 3 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...
117
click to vote
CAV
2008
Springer
15 years 1 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...
PLDI
2010
ACM
15 years 9 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...