LARVA
From MaRDI portal
Software:33215
swMATH21408MaRDI QIDQ33215FDOQ33215
Author name not available (Why is that?)
Cited In (7)
- Safer asynchronous runtime monitoring using compensations
- Runtime enforcement of timed properties revisited
- Session-based concurrency, declaratively
- 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
