LARVA
From MaRDI portal
Cited in
(23)- Session-based concurrency, declaratively
- LOLA
- Verifying data- and control-oriented properties combining static and runtime verification: theory and tools
- Safer asynchronous runtime monitoring using compensations
- ConSpec
- BeepBeep
- Atomizer
- Clara
- Java-MOP
- MOP
- Timed runtime monitoring for multiparty conversations
- Scribble
- MarQ
- StaRVOOrS
- SPY
- FastTrack
- Timed Conversation
- jPredictor
- PQL
- TeSSLa
- Efficient Runtime Verification of First-Order Temporal Properties
- Optimal enforcement of (timed) properties with uncontrollable events
- Runtime enforcement of timed properties revisited
This page was built for software: LARVA
