TY  - RPRT
TI  - Mechanizing Choreographic Programs and Hoare Logic with State Transformers
AU  - Timon Böhler
AU  - Simon Daniel
AU  - David Richter
AU  - Pascal Weisenburger
AU  - Mira Mezini
PY  - 2026
UR  - https://arxiv.org/abs/2608.16346
ID  - 2608.16346
ER  -