Solidity + EVMは、静的解析、ロバストテスト、フォーマル検証を行うための最高の開発ツールを備えています。 「vm.etch」は天国です。
14.34K