Exact Flow Analysis by Higher-Order Model Checking.

Yoshihiro Tobita, Takeshi Tsukada, Naoki Kobayashi

Browse the full FLOPS paper archive.