1261 search results - page 98 / 253 » A Hierarchy of Temporal Properties |
ROOM
2000
13 years 11 months ago
2000
In this paper we provide a systematic formal interpretation for most elements of the UML notation. This interpretation, in a structured temporal logic, enables precise analysis of...
ASE
2004
13 years 10 months ago
2004
In this paper, we develop model checking procedures for three ways of combining (temporal) logics: temporalization, independent combination, and join. We prove that they are termin...
SIGPLAN
2002
13 years 9 months ago
2002
Future Interval Logic (FIL) and its intuitive graphical representation, Graphical Interval Logic (GIL), can be used as the formal description language of model checking tools to v...
FORMATS
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. In this paper we propose a novel technique for constructing timed automata from properties expressed in the logic MTL, under bounded-variability assumptions. We handle fu...
AMSTERDAM
2009
13 years 7 months ago
2009
This paper exposes shortcomings of an analysis to single-event plural verbs (Cusic’s event-internal pluractionals) based on temporal discontinuity. It shows how to ground discont...