TY  - RPRT
TI  - Varanus: Runtime Verification for CSP
AU  - Matt Luckcuck
AU  - Angelo Ferrando
AU  - Fatma Faruq
PY  - 2025
UR  - https://arxiv.org/abs/2506.14426
ID  - 2506.14426
ER  -