Pairwise Reachability Analysis for Higher Order Concurrent Programs by Higher-Order Model Checking.

Kazuhide Yasukata, Naoki Kobayashi, Kazutaka Matsuda

Browse the full CONCUR paper archive.