LARVA
From MaRDI portal
Software:33215
No author found.
Related Items (7)
Session-based concurrency, declaratively ⋮ Efficient Runtime Verification of First-Order Temporal Properties ⋮ Optimal enforcement of (timed) properties with uncontrollable events ⋮ Verifying data- and control-oriented properties combining static and runtime verification: theory and tools ⋮ Timed runtime monitoring for multiparty conversations ⋮ Safer asynchronous runtime monitoring using compensations ⋮ Runtime enforcement of timed properties revisited
This page was built for software: LARVA
