Sciweavers

Share
FSTTCS
2004
Springer

Who is Pointing When to Whom?

9 years 3 months ago
Who is Pointing When to Whom?
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 approeans 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.
Dino Distefano, Joost-Pieter Katoen, Arend Rensink
Added 01 Jul 2010
Updated 01 Jul 2010
Type Conference
Year 2004
Where FSTTCS
Authors Dino Distefano, Joost-Pieter Katoen, Arend Rensink
Comments (0)
books