Published 2018 | Version v1
Publication Metadata-only

RIVERtools: An IDE for RuntIme VERification of MASs, and beyond

Creators

Contributors

Description

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.

Additional details

Identifiers

URL
http://hdl.handle.net/11567/1052181
URN
urn:oai:iris.unige.it:11567/1052181

Origin repository

Origin repository
UNIGE