pirapira/ethereum-formal-verification-overview
The start page about my efforts around smart contract verification
Watchers
- alexey-zaharchenko
- DanielPollithy
- dodikkDnipro, Ukraine
- f3rnando~
- frozarLyon
- gavinzhengToronto, Canada
- gy001@sec-bit
- hailinzengBeijing, China
- HendrikRoehmStuttgart, Germany
- hierophantos
- jhcloos
- jonchoiLos Angeles, CA
- jscinozSydney
- jubnzv@paritytech
- matttrichards
- mindboundD8 Corporation
- myang
- nathanawmkhttps://www.linkedin.com/in/awnathan
- nsyeeTokyo
- nvmd
- oralubenAlibaba
- pirapiraEurope
- pmacomNYC
- rafaelescrich@dfb-chain
- rushairerChina
- seresistvanandrasBudapest
- shaunazzopardiUniversity of Gothenburg
- skywormfol
- thakkarparth007Champaign, IL
- TungTh
- vkleban
- wklmCERN
- yshuman1UVeritech
- yuki-takeichi
- yxliang01Place Where Sky Is Visible
- zjhmale