HoIce: An ICE-Based Non-linear Horn Clause Solver.

Adrien Champion, Naoki Kobayashi, Ryosuke Sato

Browse the full APLAS paper archive.