# PerSeVerE: persistency semantics for verification under ext4

> Research article (Proceedings of the ACM on Programming Languages, 2021) · cited 20× · AI/ML

**Wikidata**: [openalex:W3117835832](https://www.wikidata.org/wiki/openalex:W3117835832)  
**Source**: https://4ort.xyz/entity/persevere-persistency-semantics-for-verification-under-ext4