Clara
From MaRDI portal
Cited in
(13)- TaskChecker
- Near-optimal large-scale k-medoids clustering
- SingleTrack
- Verifying data- and control-oriented properties combining static and runtime verification: theory and tools
- Fugue
- Java-MOP
- Semantics and algorithms for parametric monitoring
- Runtime verification of component-based systems
- StaRVOOrS
- MarQ
- J-LO
- IncA
- Runtime verification with minimal intrusion through parallelism
This page was built for software: Clara
