Higher-Order Program Verification via HFL Model Checking.

Naoki Kobayashi, Takeshi Tsukada, Keiichi Watanabe

Browse the full ESOP paper archive.