QooryBeta
Verifereum

Verifereum

Project

Ethereum smart contract verification tool

Dev PlatformInfraSecurity Solutions

About

Verifereum is a formal model of Ethereum implemented in higher-order logic (#HOL), aiming to enable the verification of applications and tools within the Ethereum ecosystem (#EVM), from smart contracts to compilers, to prevent hacks and offer the highest assurance of vulnerability-free code possible. Tags: Infra Dev Platform Security Solutions Ecosystem(): Ethereum Founded:

Social Signals
Hot0/100
Founded
2024 · 2y
Trust ScoreCalculating…

History

2024
Jan 1, 2024founded

Founded