Konstantin Britikov, Grigory Fedyukovich, Natasha Sharygina. CHC-Based Reachability Analysis via Cycle Summarization. In Ferruccio Damiani, Marie Farrell, editors, Integrated Formal Methods - 20th International Conference, iFM 2025, Paris, France, November 19-21, 2025, Proceedings. Volume 16194 of Lecture Notes in Computer Science, pages 205-225, Springer, 2025. [doi]
Abstract is missing.