This work introduces RIVERtools, an IDE supporting the use of the "trace expressions" formalism by users that want to perform runtime verification of their own system.
RIVERtools: An IDE for RuntIme VERification of MASs, and beyond / Ferrando, A.. - 2056:(2018), pp. 13-26. (Intervento presentato al convegno 2017 Principles and Practice of Multi-Agent Systems - Demonstrations Track, PRIMA - Demo Track 2017 tenutosi a fra nel 2017).
RIVERtools: An IDE for RuntIme VERification of MASs, and beyond
Ferrando A.
2018
Abstract
This work introduces RIVERtools, an IDE supporting the use of the "trace expressions" formalism by users that want to perform runtime verification of their own system.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
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
