Verifereum

Verifereumは、高階論理（#HOL）で実装されたEthereumの形式的モデルであり、Ethereumエコシステム（#EVM）内のアプリケーションやツール（スマートコントラクトからコンパイラまで）の検証を可能にし、ハッキングを防止し、脆弱性のないコードを可能な限り高い保証で提供することを目指しています。タグ: Infra Dev Platform Security Solutions Ecosystem(): Ethereum Founded: