@ethernews
Formal verification scope expands from contracts to ERC standard implementations
Ethereum researchers explore whether formal verification can validate entire ERC standards as executable specifications, not just individual deployed contracts.
https://ethernews.org/story/formal-verification-scope-expands-from-contracts-to-erc-a1189c2cf2?utm_source=farcaster&utm_medium=social&utm_campaign=story
0 reply
0 recast
0 reaction