K-Framework.md

75 - K-Framework

K-Framework based analysis, modelling and verification tools from Runtime Verification (RV): provides KEVM which is a model of EVM in the K-Framework.

It is the first executable specification of the EVM that completely passes official test-suites and serves as a platform for building a wide range of analysis tools and other semantic extensions for EVM.

---

Slide Screenshot

---

Slide Text

• Verification Framework Runtime Verification
• KEVM: Model of EVM in K-Framework
• First Executable EVM Specification
• Framework for Building Tools

---

References

• Youtube Reference

---

Tags