Virtual meetup with demo of formally verified chaincode generation for Fabric on Nov 19

David Boswell <dboswell@...>

The developers of the fabric-chaincode-ocaml lab will talk about their work and run a demo of enabling formal specification & verification of Hyperledger Fabric chaincode at a virtual meetup on Friday Nov 18 @ 15:00 UTC.  All are welcome.

Details about how to join the meetup are at:

Details about the fabric-chaincode-ocaml lab are at:


Join to automatically receive all group messages.