- Title
- MahaRAJA: Monitoring at Runtime of temporAl properties on Java Applications
- Creators
- Matteo CamilliAngelo GargantiniPatrizia Scandurra
- Identifiers
- (UNIBZ)31404546
991005888651201241 - Academic Unit
- Faculty of Computer Science
- Language
- English
- Resource Type
- Code
- Author Names String
- Camilli M, Gargantini A, Scandurra P
- Additional Description
- MIURSSDCODE: INF/01;ING-INF/05
MIURSSD: Informatica;Sistemi di elaborazione delle informazioni
unibz-area: Software Engineering (SwSE)
description: The MahaRAJA framework is an efficient event-based runtime verification software tool for verifying at runtime the relationship among events and their temporal properties on Java programs. Monitoring is achieved through the co-execution of the formal specification and the system under test. The monitor continuously evaluates the conformance of the concrete implementation with respect to its formal specification given in terms of Time Basic Petri nets.
Code
MahaRAJA: Monitoring at Runtime of temporAl properties on Java Applications
2017
Handle:
https://hdl.handle.net/10863/15637