4 ms·
It demonstrates a difficulty of formal verification. You can prove the program matches the specification, but how do you know the specification is correct? Qui
by ktRolster 9y ago
It demonstrates a difficulty of formal verification. You can prove the program matches the specification, but how do you know the specification is correct?
Quis custodiet ipsos custodes?
- ottumm 9y agoVery true. It's also an almost unbelievably basic design error to make in a distributed system.