Overview of the formal verification projects in the Ethereum ecosystem.
GNU General Public License v3.0GPL-3.0