HLola: a Very Functional Tool for Extensible Stream Runtime Verification.
2021
We present HLola, an extensible Stream Runtime Verification (SRV) tool, that borrows from the functional language Haskell (1) rich types for data in events and verdicts; and (2) functional features for parametrization, libraries, high-order specification transformations, etc.
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
22
References
3
Citations
NaN
KQI