Predicate abstraction and CEGAR for higher-order model checking
Kobayashi, Naoki, Sato, Ryosuke, Unno, HiroshiVolume:
47
Language:
english
Journal:
ACM SIGPLAN Notices
DOI:
10.1145/2345156.1993525
Date:
August, 2012
File:
PDF, 471 KB
english, 2012