Temporal Verification of Programs via First-Order Fixpoint Logic.

Naoki Kobayashi, Takeshi Nishikawa, Atsushi Igarashi, Hiroshi Unno

Browse the full SAS paper archive.