What Specifying MonadBFT Taught Us About Quint

We used Quint to analyze the MonadBFT consensus protocol, formally specifying definitions and pseudo code, validating lemmas and theorems through simulation, and reproducing scenario diagrams as executable runs.