4 ms·
Don't worry, you're going to be searching for logic vs requirements mismatches instead if the thing provides proofs. That means, you have to understand if it i
by AstralStorm 11mo ago
Don't worry, you're going to be searching for logic vs requirements mismatches instead if the thing provides proofs.
That means, you have to understand if it is even proving the properties you require for the software to work.
It's very easy to write a proof akin to a test that does not test anything useful...
- practal 11mo agoNo, that misunderstands what a proof is. It is very easy to write a SPEC that does not specify anything useful. A proof does exactly what it is supposed to do.