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