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
Timed trace expressions / Ciccone, L.; Ferrando, A.; Ancona, D.; Mascardi, V.. - 2396:(2019), pp. 229-241. (Intervento presentato al convegno 34th Italian Conference on Computational Logic, CILC 2019 tenutosi a ita nel 19 giugno 2019).
Timed trace expressions
Ferrando A.;
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
| File | Dimensione | Formato | |
|---|---|---|---|
|
CILC2019-timed-trace-expr.pdf
Open access
Tipologia:
Versione dell'autore revisionata e accettata per la pubblicazione
Dimensione
530.64 kB
Formato
Adobe PDF
|
530.64 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I metadati presenti in IRIS UNIMORE sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono rilasciati con licenza Attribuzione 4.0 Internazionale (CC BY 4.0), salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris
