|
|
|
|
|
|
by al_ak
2331 days ago
|
|
|
Yet formal correctness is about "getting things 100% correct 100% of the time" to the greatest extent possible (you can mathematically prove the "correctness" of a program using formal methods, but it still has to run on actual hardware and you're assuming there are no bugs in your tooling). |
|
|