40 search results - page 5 / 8 » METATEM: A Framework for Programming in Temporal Logic |
ICSE
2004
IEEE-ACM
14 years 8 months ago
2004
IEEE-ACM
Our paper introduces a runtime verification framework for concurrent monitoring of applications specified by UML statecharts. The approach offers a considerable degree of granulari...
KBSE
2005
IEEE
14 years 2 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
ATAL
2010
Springer
13 years 9 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
PTS
2008
13 years 10 months ago
2008
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...
CONCUR
2005
Springer
14 years 2 months ago
2005
Springer
The context of this study is timed temporal logics for timed automata. In this paper, we propose an extension of the classical logic TCTL with a new Until modality, called “Until...