Resources

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.

Videos

• 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

Blogs and Other Resources

• 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!