Who is pointing when to whom?


Distefano, Dino and Katoen, Joost-Pieter and Rensink, Arend (2004) Who is pointing when to whom? In: Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2004, 16-18 December 2004, Chennai, India (pp. pp. 250-262).

[img] PDF
Restricted to UT campus only
: Request a copy
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 Item
Copyright:© 2004 Springer
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/63331
Official URL:https://doi.org/10.1007/978-3-540-30538-5_21
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page