Problem Overview
Most recent progress on the proof for correctness of the BFT protocol. This is a WIP branch where we are proving the invariants in the presence of arbitrary number of View Changes with Checkpoint-ing and sliding of the Working Window disabled. More information in docs/sbft-formal-model/README.md
Testing Done
< describe automated and/or manual test scenarios >
Most recent progress on the proof for correctness of the BFT protocol. This is a WIP branch where we are proving the invariants in the presence of arbitrary number of View Changes with Checkpoint-ing and sliding of the Working Window disabled. More information in docs/sbft-formal-model/README.md
< describe automated and/or manual test scenarios >