Implemented the Ben-Or randomized distributed consensus algorithm in TLA+ and PlusCal.
benor.toolbox contains snapshots of all the models ran on this program.
Observations.txt contains all the observations recorded with different inputs to the program.