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:


Thanks,
David