/eBTC-certora-vs-echidna

Repository for blog post comparing differences between the Certora Prover and Trail of Bits' Echidna

Primary LanguageJavaScriptGNU General Public License v3.0GPL-3.0

Stargazers