GitHub - pirapira/evmverif: An EVM code verification framework in Coq - discu.eu

Reddit

What kind of formally verified smart contracts do you want? https://github.com/pirapira/evmverif 20 comments 10/7/2016 ethereum

Linking pages

Dev Update: Formal Methods | Ethereum Foundation Blog https://blog.ethereum.org/2016/09/01/formal-methods-roadmap/ 29 comments
GitHub - uhub/awesome-coq: A curated list of awesome Coq frameworks, libraries and software. https://github.com/uhub/awesome-coq 5 comments

Linked pages

GitHub - pirapira/eth-isabelle: A Lem formalization of EVM and some Isabelle/HOL proofs https://github.com/pirapira/eth-isabelle 4 comments

Related searches:

Search whole site: site:github.com

Search title: GitHub - pirapira/evmverif: An EVM code verification framework in Coq

See how to search.

Submit link to: