@misc{indiciae26272c29fe4f,
  title = {Varanus: Runtime Verification for CSP},
  author = {Matt Luckcuck and Angelo Ferrando and Fatma Faruq},
  year = {2025},
  url = {https://arxiv.org/abs/2506.14426},
  note = {Source identifier: 2506.14426}
}