TY  - RPRT
TI  - Verification of Configurable SRA Systems
AU  - Alessandro Cimatti
AU  - Alberto Griggio
AU  - Christian Lidström
AU  - Gianluca Redondi
AU  - Dylan Trenti
PY  - 2026
UR  - https://arxiv.org/abs/2605.21385
ID  - 2605.21385
ER  -