Predicate abstraction and CEGAR for higher-order model checking.

Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno

Browse the full PLDI paper archive.