6 ms·Verification and Simulation as Necessary Complements in Smart Contract Security6 points by Peteris 7y ago