A Fixpoint Logic and Dependent Effects for Temporal Property Verification. - Yoji Nanjo; Hiroshi Unno 001; Eric Koskinen; Tachio Terauchi (LICS, 2018)