LARVA
From MaRDI portal
swMATH21408MaRDI QIDQ33215FDOQ33215
Author name not available (Why is that?)
Official website: http://www.cs.um.edu.mt/svrg/Tools/LARVA/
Cited In (21)
- Safer asynchronous runtime monitoring using compensations
- LOLA
- Runtime enforcement of timed properties revisited
- Session-based concurrency, declaratively
- Atomizer
- Clara
- Java-MOP
- MOP
- Scribble
- MarQ
- StaRVOOrS
- SPY
- FastTrack
- Timed Conversation
- jPredictor
- PQL
- Efficient Runtime Verification of First-Order Temporal Properties
- Timed runtime monitoring for multiparty conversations
- TeSSLa
- Verifying data- and control-oriented properties combining static and runtime verification: theory and tools
- Optimal enforcement of (timed) properties with uncontrollable events
This page was built for software: LARVA
