Golang to LLVM Bitcode for Hyperledger Shim packages

Research-Tools-PAVT / fabric-verify

Formal Verification of Hyperledger Fabric Chaincode. Example for cross border inter-bank asset transfer in fabric 1.4

4 stars 1 forks source link

Open codersguild opened 4 years ago

codersguild commented 4 years ago

Emulate the functionality. Use some dummy data. May not map to a large memory. Give it concrete but random input.

codersguild commented 4 years ago