[Readme] Add link to the SBFT formal model (#2976)

vmware · Mar 30, 2023 · 61cc49c · 61cc49c
1 parent 310ff53
commit 61cc49c
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -35,7 +35,8 @@ Start with example usage [here](https://github.com/vmware/concord-bft/tree/maste
 
 ## Documentation
 
-See the github [wiki](https://github.com/vmware/concord-bft/wiki) for detailed explanation.
+See the github [wiki](https://github.com/vmware/concord-bft/wiki) for detailed explanation.</br>
+A formal specification of the SBFT protocol including automated invariant proofs can be found [here](https://github.com/vmware/concord-bft/tree/master/docs/sbft-formal-model).
 
 ## Community