1633 search results - page 169 / 327 » On the Verification of Temporal Properties |
DALT
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We describe a model-checking based approach to verification of programs written in the agent programming language Dribble. We define a logic (an extension of the branch...
ECOOP
1993
Springer
14 years 2 months ago
1993
Springer
This paper proposes a formalism for reasoning about distributed object-oriented computations. The formalism is an extension of Milner’s CCS with the notion of local time. It allo...
SIGPLAN
2002
13 years 10 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...