Data di Pubblicazione:
2018
Citazione:
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).
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.
Tipologia CRIS:
Relazione in Atti di Convegno
Keywords:
Engineering multiagent systems; Integrated development environment for RV; Rivertools; Runtime verification (RV); Trace expressions
Elenco autori:
Ferrando, A.
Link alla scheda completa:
Titolo del libro:
CEUR Workshop Proceedings
Pubblicato in: