Model Checking of Hyperledger Fabric Smart Contracts.

Elmira Ebrahimi, Ehsan Khamespanah, Marjan Sirjani, Siamak Mohammadi

Browse the full ETFA paper archive.