"Unlike math, software can't be objectively, formally verified to be correct. " brb, changing industry
@DrHydeous I see. But they are different problems. I realise rubbish specs are hard to tackle, but that wasn't the original point.
-
-
@edwinbrady the original point was about objective formal verification of correctness. The measure of correctness is meeting the spec. -
@DrHydeous And specs exist on many levels. Some harder to verify than others, some vaguer than others. It's complicated.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.