TY  - RPRT
TI  - TLA-Verus: Generating and Solving Temporal Proof Obligations with LLM Agents
AU  - Kseniia Strelbytska
AU  - Balázs Szilágyi
AU  - Anna Mészáros
AU  - Ferenc Huszár
PY  - 2026
UR  - https://arxiv.org/abs/2610.14923
ID  - 2610.14923
ER  -