# Much ADO about failures: a fault-aware model for compositional verification of strongly consistent distributed systems

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

**Wikidata**: [openalex:W3206178602](https://www.wikidata.org/wiki/openalex:W3206178602)  
**Source**: https://4ort.xyz/entity/much-ado-about-failures-a-fault-aware-model-for-compositional-verification-of-strongly-consistent-distributed-systems