- Specification's authors: Heidi Howard
- Original paper: Howard, Heidi, Dahlia Malkhi, and Alexander Spiegelman. Flexible Paxos: Quorum Intersection Revisited. 20th International Conference on Principles of Distributed Systems. 2017.
- Extended modules: Int
- Computation models: crashes, lost/duplicated messages
- Some properties checked with TLC: agreed, SafeValue
- TLA+ files