3 ms·

It's the same with every tool: The more powerful it is, the worse the consequences are when it's abused. That applies to programming in particular.

• marcosdumay 9y ago
  With great powers come great needs of formal verification.
  • zzz95 9y ago
    Need is there, but tools are not.
    • Kenji 9y ago
      It's not a tooling issue (see my comment above)
  • deleted 9y ago
    [deleted]
  • Kenji 9y ago
    Formal verification is pointless if there are no formal specifications of the program/product/whatever. And if there are formal specifications, then they might as well be in the form of code. And even formal specifications can contain errors. That is why verification is not more popular.