ethereum / ethereum/execution-specs
Investigate using `deal` annotations
Open
A-spec-specs
C-chore
P-low
S-needs-discussion
stale
- Dominant language
- Python
- Stars
- 1.2k
- Forks
- 505
- Avg merge
- 2d 14h
- Merged PRs (30d)
- 116
Description
https://deal.readthedocs.io/basic/verification.html
deal is a library for contract-based development, and it comes with limited formal verification and fuzzing support.
Is this something we could use?
Contributor guide
Assessment
This issue has not been assessed yet.