Automatic HFL(Z) Validity Checking for Program Verification. - Kento Tanahashi; Naoki Kobayashi 001; Ryosuke Sato 001 (CoRR, 2022)

HFL(Z) Validity Checking for Automated Program Verification. - Naoki Kobayashi 001; Kento Tanahashi; Ryosuke Sato 001; Takeshi Tsukada (Proc. ACM Program. Lang., 2023)