TY  - RPRT
TI  - Weakly acyclic diagrams: A data structure for infinite-state symbolic verification
AU  - Michael Blondin
AU  - Michaël Cadilhac
AU  - Xin-Yi Cui
AU  - Philipp Czerner
AU  - Javier Esparza
AU  - Jakob Schulz
PY  - 2025
UR  - https://arxiv.org/abs/2411.17250
ID  - 2411.17250
ER  -