https://github.com/pirapira/evmverif

An EVM code verification framework in Coq
https://github.com/pirapira/evmverif

Last synced: 3 months ago
JSON representation

An EVM code verification framework in Coq

• Host: GitHub
• URL: https://github.com/pirapira/evmverif
• Owner: pirapira
• License: apache-2.0
• Created: 2016-06-26T18:22:41.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2016-10-11T16:53:19.000Z (over 8 years ago)
• Last Synced: 2024-10-03T12:23:16.542Z (3 months ago)
• Language: Coq
• Homepage:
• Size: 240 KB
• Stars: 44
• Watchers: 12
• Forks: 8
• Open Issues: 5
• Metadata Files:
  • Readme: readme.md
  • License: LICENSE

Awesome Lists containing this project

README

        
After an experiment, the weight is being shifted onto Isabelle/HOL.  See https://github.com/pirapira/eth-isabelle

* The `coq` directory contains its own README.

* There is a [screencast](https://youtu.be/Mzh4fyoaBJ0?list=PL9oaY6Y4QxRZybj86eGItGVApxLXVIXHz) about how to use this repository.

* There is a [gitter channel](https://gitter.im/ethereum/formal-methods).

* There is a [bigger picture](https://github.com/pirapira/ethereum-formal-verification-overfiew) containing more attempts.