3 ms·
> Program testing can convincingly show the presence of bugs, but it hopelessly inadequate to show their absence.
by noitanec 3y ago
> Program testing can convincingly show the presence of bugs, but it hopelessly inadequate to show their absence.
- jacquesm 3y agoThat's where formal verification comes in. https://en.wikipedia.org/wiki/Formal_verification https://en.wikipedia.org/wiki/Formal_verification