leonardoalt/ethereum_formal_verification_overview
Overview of the formal verification projects in the Ethereum ecosystem.
GPL-3.0
Watchers
- 0x0918NanJing
- 0xGeorgii@OpenZeppelin
- algys@statemindio
- byrongibson
- calldataOKX
- cfassx
- cNoveroncarlos-noveron.netlify.app
- d-xo
- drkostasUniversity of Tennessee, Knoxville
- eemailme
- gaxiiiiiiiiiiii
- htadashi
- jat9292
- jflowers1974Siliconian
- jhcloos
- JoukoSalonen@nordledger
- jubnzv@paritytech
- KunPengRenNational University of Singapore
- leonardoalt@powdr-labs
- pmerkleplant@chronicleprotocol