EEMCS EPrints Service

Education

Research

Prospective Students

Jobs

Publications

Intranet (internal)

Nederlands

Contact

Sitemap

Organisation

6546 Who is pointing when to whom?

Home Policy Brochure Browse Search User Area Contact Help

Distefano, D.S. and Katoen, J.P. and Rensink, A. (2004) Who is pointing when to whom? In: Foundations of Software Technology and Theoretical Computer Science (FSTTCS), 16-18 Dec 2004, Chennai, India. pp. 250-262. Lecture notes in Computer Science 3328. Springer. ISBN 3-540-24058-6

Full text available as:

PDF

- Univ. of Twente only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
177 Kb

Official URL: http://dx.doi.org/10.1007/b104325

Abstract

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 other via pointers. Our logic is focused on specifying properties about the dynamic evolution (such as creation, adaptation, and removal) of such pointer structures. The semantics is based on automata on infinite words, extended with appropriate means to model evolving pointer structures in an abstract manner. A tableau-based model-checking algorithm is proposed to automatically verify these automata against formulae in our logic.

Item Type:	Conference or Workshop Paper (Full Paper, Talk)
Research Group:	EWI-FMT: Formal Methods and Tools, EWI-SE: Software Engineering
ID Code:	6546
Status:	Published
Deposited On:	10 October 2006
Refereed:	Yes
International:	Yes
More Information:	statistics

Export this item as:

To request a copy of the PDF please email us request copy

To correct this item please ask your editor

Repository Staff Only: edit this item