3 ms·
> A kind of test harness or program prover. I suppose they need to solve the halting problem, too?
by rlpb 13y ago
> A kind of test harness or program prover.
I suppose they need to solve the halting problem, too?
- Ygg2 13y agoWell something that deals with basic problems first. I don't think having a way to test for timing attacks is too far out. I guess you should aim for good enough and not perfect.