4 ms·

Interesting I'm hoping the formal verification crowd will start to influence ethereum developers. You have small amounts of relatively simple code, that absolu

by ENGNR 9y ago

Interesting I'm hoping the formal verification crowd will start to influence ethereum developers. You have small amounts of relatively simple code, that absolutely must be correct or at least predictable, seems like a perfect match

troymc 9y ago
That's already happening. For example, see https://runtimeverification.com/blog/?p=496 https://runtimeverification.com/blog/?p=496
- nuclx 9y ago
  Also see https://quantstamp.com https://quantstamp.com