5 ms·

Who verifies the specification? I can´t stand the intellectual dishonesty of formal methods people.

• sublinear 4mo ago
  > Who verifies the specification? If you know how to prove something without making an initial assumption, let us know. If you think you can reduce those assumptions, also let us know. There should not be a "who" involved at all. That's not proof. That's trust.
  • tcp_handshaker 4mo ago
    [flagged]
  • deleted 4mo ago
    [deleted]