Kontrol
  • Overview
    • Kontrol
      • The significance
      • Installations
  • Guides
    • Proofcast Episode: Getting Started
    • Kontrol Example
      • Property Verification using Kontrol
      • K Control Flow Graph (KCFG)
      • Proof Management
      • Debugging a Proof
    • Node Refutation
    • Bytecode Verification
    • Advancing Proofs
      • KEVM Lemmas
      • Writing Simplifications
      • Rule Application
      • Symbolic Storage
  • Cheatsheets
    • Kup Cheatsheet
    • Kontrol Cheatsheet
    • Cheatcodes
  • Tips
    • Debugging Failing Proofs
  • Glossary
    • Kontrol Arguments
    • Kontrol Build Options
    • Kontrol Prove Flags
  • Developer Docs
    • Digest File
  • Learn More
    • Resources
    • Example Projects
  • 🔗Links
    • Join our Discord!
    • Kontrol Repo
    • Gitbook Repo
Powered by GitBook
On this page
  • Videos
  • Blogs and Other Resources

Was this helpful?

Edit on GitHub
  1. Learn More

Resources

If you want to learn more or get involved

PreviousDigest FileNextExample Projects

Last updated 1 year ago

Was this helpful?

Join the Community on ! If you have questions, feedback, or problems we would love to hear from you and offer support.

Videos

Blogs and Other Resources

  • To learn more about Foundry check out the

  • KEVM and Kontrol are powered by the , if you are interested in learning more check out the

  • We also have formal verification on Algorand powered by K! Check out !

Did you see a typo somewhere in the Gitbook? Click the three dots on the page to suggest an edit on !

Discord
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
Foundry Book
K Framework
0 to K Tutorial
KAVM
Github