GitHub repository: lahiri-phdworks/fabric-verify
Primary language: LLVM
Description: Formal Verification of Hyperledger Fabric Chaincode. Example for cross border inter-bank asset transfer in fabric 1.4