Anna Becchi, Martin Blicha, Rodrigo Otoni, Natasha Sharygina. PyCHC: A Framework for Certified Horn Solving and CHC-Based Design. In Eva Darulova, Anthony W. Lin, Philipp Rümmer, editors, Computer Aided Verification - 38th International Conference, CAV 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part III. Volume 16684 of Lecture Notes in Computer Science, pages 261-275, Springer, 2026. [doi]
No references recorded for this publication.
No citations of this publication recorded.