| description |
|---|
If you want to learn more or get involved |
Join the Community on Discord! If you have questions, feedback, or problems we would love to hear from you and offer support.
- In Solidity Specification, Testing, and Verification
- Tackling Rounding Errors with Precision Analysis
- Formal Methods for the Working DeFi Dev
- Security: Auditing and Formal Methods
- Towards Adoption of Symbolic Execution for DeFi Security
- K, KEVM, Kontrol presentation video
- Using Foundry to Explore Upgradeable Contracts (Part 1)
- Foundry: Gen 2 of Ethereum Tooling
- To learn more about Foundry check out the Foundry Book
- KEVM and Kontrol are powered by the K Framework, if you are interested in learning more check out the 0 to K Tutorial
- We also have formal verification on Algorand powered by K! Check out KAVM!
Did you see a typo somewhere in the Gitbook? Click the three dots on the page to suggest an edit on Github!