Solidity + EVM:ssä on parhaat kehitystyökalut staattisen analyysin, vankan testauksen ja muodollisen todentamisen tekemiseen. "VM.etch" on taivas.