63 search results - page 1 / 13 » Temporal Logic with Reference Pointers |
ICTL
1994
13 years 8 months ago
1994
FSTTCS
2004
Springer
13 years 9 months ago
2004
Springer
This paper introduces an extension of linear temporal logic that allows to express properties about systems that are composed of entities (like objects) that can refer to each othe...
LFCS
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. In order to verify programs with pointer variables, we introduce a temporal logic LTLmem whose underlying assertion language is the quantifier-free fragment of separatio...
ESOP
2006
Springer
13 years 8 months ago
2006
Springer
This paper presents a new program logic designed for facilitating automated reasoning about pointer programs. The program logic is directly inspired by previous work by O'Hea...
ACOM
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. This paper explores the use of temporal logics in the context of communication protocols for multiagent systems. We concentrate on frameworks where protocols are used to ...