Practical Byzantine Fault Tolerance specification of consensus protocol in BIP
- 1- The BIP source code of the consensus protocol is available in file consensus.bip
- 2- Device.cpp referes to the CPP files required to execute the C++ code.
This code is related to the paper : Formal Modeling and Verification of Blockchain Consensus Protocol for IoT Systems The paper is published in Knowledge Innovation Through Intelligent Software Methodologies, Tools and Techniques: Proceedings of the 19th International Conference on New Trends in Intelligent Software Methodologies, Tools and Techniques (SoMeT_20)
If you want to use this code. It necessitates my agreement ! Hakim- Technical Manager