A gently curated list of companies using verification formal methods in ...
TLA+ specification of Flexible Paxos