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
Ferrando A.;Ancona D.;Mascardi V.
2019-01-01
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 timeFile in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
CILC2019-timed-trace-expr.pdf
accesso chiuso
Tipologia:
Documento in Post-print
Dimensione
530.64 kB
Formato
Adobe PDF
|
530.64 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.