Data di Pubblicazione:
2019
Citazione:
Timed trace expressions / Ciccone, L.; Ferrando, A.; Ancona, D.; Mascardi, V.. - 2396:(2019), pp. 229-241. ( 34th Italian Conference on Computational Logic, CILC 2019 ita 19 giugno 2019).
Abstract:
Trace expressions are a compact and expressive formalism initially devised for runtime verication of multiagent systems, and then adopted for runtime verication of object oriented systems and of Internet of Things applications.
In this paper we survey different logics to cope with time intervals, and we exploit the ideas underlying these logics to extend the trace expressions formalism with the explicit management of time
Tipologia CRIS:
Relazione in Atti di Convegno
Keywords:
Runtime verication; Timed temporal logic; Timed trace expressions
Elenco autori:
Ciccone, L.; Ferrando, A.; Ancona, D.; Mascardi, V.
Link alla scheda completa:
Link al Full Text:
Titolo del libro:
CEUR Workshop Proceedings
Pubblicato in: