# A Fixpoint Logic and Dependent Effects for Temporal Property Verification

> Research article (Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018) · cited 26× · AI/ML

**Wikidata**: [openalex:W2811195459](https://www.wikidata.org/wiki/openalex:W2811195459)  
**Source**: https://4ort.xyz/entity/a-fixpoint-logic-and-dependent-effects-for-temporal-property-verification