@misc{indiciaed95df445656f,
  title = {CaMeLoT: CaMeL orchestrated with Temporal logic for static verification and liveness},
  author = {Elia Nikolaou and Magnus Wiik Eckhoff and Robert Flood and Gudmund Grov and Vasileios Mavroeidis and David Aspinall},
  year = {2026},
  url = {https://arxiv.org/abs/2609.18674},
  note = {Source identifier: 2609.18674}
}