A Fixpoint Logic and Dependent Effects for Temporal Property Verification.

Yoji Nanjo, Hiroshi Unno, Eric Koskinen, Tachio Terauchi

Browse the full LICS paper archive.