Category Archives: Uncategorized

edit2

Correctness is a social construct - Other than formal verification of formally specified code in a sound language, the standard for correctness is negotiated among the participants. [Lakatos 76] [Proof 25] [DeMillo&Lipton&Perlis 79] key =#22


Be the first to make a comment

Comment on the above nudge


Name:
E-Mail Address:
Comment:

0/3000
We collect your email address solely to respond to your comments and communicate about this website. Your data will not be shared with third parties. You can request its deletion at any time. For full details, please read our Privacy Policy.