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: