runtimeverificationinc/kontrol repository overview

Kontrol combines KEVM and Foundry to grant developers the ability to perform formal verification without learning a new language or tool. This is especially useful for those who are not verification engineers. Additionally, developers can leverage Foundry test suites they have already developed and use symbolic execution to increase the level of confidence.

Please Visit Kontrol Home Page @ https://kontrol.runtimeverification.com/⁠

You can Learn more about Kontrol and follow development @ https://github.com/runtimeverification/kontrol⁠

Documentation @ https://docs.runtimeverification.com/kontrol⁠

Our Company Site @ https://runtimeverification.com⁠