Alessandro Cimatti, Alberto Griggio, Christian Lidström, Gianluca Redondi, Dylan Trenti. Verification of Configurable SRA Systems. In Armin Biere, Carsten Lutz, Sara Negri, editors, Automated Reasoning - 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part II. Volume 16689 of Lecture Notes in Computer Science, pages 286-303, Springer, 2026. [doi]
Abstract is missing.