Meetups in French & English about formally verified chaincode generation for Hyperledger Fabric
David Boswell <dboswell@...>
The developers from the fabric-chaincode-ocaml lab are running meetups in French and English to show preliminary results of their ongoing work to enable formal specification and verification of Hyperledger Fabric chaincode.
Anyone interested in this topic is welcome to attend. Details about the two meetups are below:
Thursday, October 20 at 12:00 UTC / 14:00 CEST: Hyperledger Francophone hosts "Démonstration pratique d'une génération d'un chaincode HL Fabric"
Friday, November 18 at 15:00 UTC / 7:00 PST: Hyperledger London hosts "Demonstration of formally verified chaincode generation for Hyperledger Fabric"