LARVA
From MaRDI portal
Cited in
(23)- Safer asynchronous runtime monitoring using compensations
- Runtime enforcement of timed properties revisited
- TeSSLa
- Session-based concurrency, declaratively
- ConSpec
- BeepBeep
- Atomizer
- Clara
- Java-MOP
- MOP
- Scribble
- MarQ
- StaRVOOrS
- SPY
- FastTrack
- Timed Conversation
- jPredictor
- PQL
- LOLA
- Efficient Runtime Verification of First-Order Temporal Properties
- Timed runtime monitoring for multiparty conversations
- 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
