TY  - RPRT
TI  - Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements
AU  - Tom Yaacov
AU  - Achiya Elyasaf
AU  - Gera Weiss
PY  - 2024
UR  - https://arxiv.org/abs/2404.01858
ID  - 2404.01858
ER  -