Formal proof of correctness is usually infeasible; abandoning all effort at systematic verification (the more common extreme) is dangerous…
— Frederick P. Jr. Brooks, The Design of Design
PREVIOUS01/24/2024
NEXT01/26/2024
Formal proof of correctness is usually infeasible; abandoning all effort at systematic verification (the more common extreme) is dangerous…
— Frederick P. Jr. Brooks, The Design of Design