Mode-based Reduction from Validity Checking of Fixpoint Logic Formulas to Test-Friendly Reachability Problem.

Hiroyuki Katsura, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato

Browse the full APLAS paper archive.