Sewon Park 0001, Atsushi Igarashi. Making Rabbit Run for Security Verification of Networked Systems with Unbounded Loops. In Ahmed Irfan, Daniela Kaufmann, editors, Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design, FMCAD 2025, Menlo Park, CA, USA, October 6-10, 2025. TU Wien Academic Press, 2025. [doi]
Abstract is missing.