PyCHC: A Framework for Certified Horn Solving and CHC-Based Design.

Anna Becchi, Martin Blicha, Rodrigo Otoni, Natasha Sharygina

Browse the full CAV paper archive.