Towards a scalable software model checker for higher-order programs.

Ryosuke Sato, Hiroshi Unno, Naoki Kobayashi

Browse the full PEPM paper archive.