TY  - RPRT
TI  - CaMeLoT: CaMeL orchestrated with Temporal logic for static verification and liveness
AU  - Elia Nikolaou
AU  - Magnus Wiik Eckhoff
AU  - Robert Flood
AU  - Gudmund Grov
AU  - Vasileios Mavroeidis
AU  - David Aspinall
PY  - 2026
UR  - https://arxiv.org/abs/2609.18674
ID  - 2609.18674
ER  -