Blockchain protocol engineering and research

Stories tagged as formalverification – Formal Verification
  1. 1
    Jello Paper as Canonical EVM Spec eth formalverification ethereum-magicians.org
    eigenjoy avatar via eigenjoy 3 years ago | cached | no comments
  2. 2
    Peer Review: CBC Casper bft consensus eth formalverification scalability medium.com
    jcnelson avatar authored by jcnelson 3 years ago | cached | no comments
  3. 1
    K Semantics of the Ethereum Virtual Machine (EVM) eth formalverification github.com
    eigenjoy avatar via eigenjoy 3 years ago | cached | 1 comment