issues
search
vmware
/
concord-bft
Concord byzantine fault tolerant state machine replication library
377
stars
147
forks
source link
[Readme] Add a link to the SBFT formal model
#2976
Closed
teoparvanov
closed
1 year ago
teoparvanov
commented
1 year ago
Problem Overview
The Readme does not advertise the detailed and high value formal model that we have developed for the SBFT protocol.
Testing Done
Checked the Markdown preview, to make sure the new entry is rendered correctly, and that the link works.
The Readme does not advertise the detailed and high value formal model that we have developed for the SBFT protocol.
Checked the Markdown preview, to make sure the new entry is rendered correctly, and that the link works.