Predicate abstraction and CEGAR for higher-order model checking

Open Webpage

Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno

Published: 01 Jan 2011, Last Modified: 13 May 2025PLDI 2011EveryoneRevisionsBibTeXCC BY-SA 4.0