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. (2017 Principles and Practice of Multi-Agent Systems - Demonstrations Track, PRIMA - Demo Track 2017 fra 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.
2018
Inglese
2017 Principles and Practice of Multi-Agent Systems - Demonstrations Track, PRIMA - Demo Track 2017
fra
2017
2-s2.0-85042449386
CEUR Workshop Proceedings
2056
13
26
14
CEUR-WS
Engineering multiagent systems; Integrated development environment for RV; Rivertools; Runtime verification (RV); Trace expressions
Ferrando, A.
Atti di CONVEGNO::Relazione in Atti di Convegno
273
1
RIVERtools: An IDE for RuntIme VERification of MASs, and beyond / Ferrando, A.. - 2056:(2018), pp. 13-26. (2017 Principles and Practice of Multi-Agent Systems - Demonstrations Track, PRIMA - Demo Track 2017 fra 2017).
none
info:eu-repo/semantics/conferenceObject
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

Licenza Creative Commons
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

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11380/1331858
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? ND
social impact