Predicate Abstraction and CEGAR for $\nu \mathrm {HFL}_\mathbb {Z}$ Validity Checking.

Naoki Iwayama, Naoki Kobayashi, Ryota Suzuki, Takeshi Tsukada

Browse the full SAS paper archive.