Predicate Abstraction and CEGAR for Disproving Termination of Higher-Order Functional Programs.

Takuya Kuwahara, Ryosuke Sato, Hiroshi Unno, Naoki Kobayashi

Browse the full CAV paper archive.