4 ms·
I can't speak about the kernel but personally I prefer proofs of correctness over testing.
by bruce343434 4y ago
I can't speak about the kernel but personally I prefer proofs of correctness over testing.
- zasdffaa 4y agoIf you haven't any experience of doing proofs of correctness, it may be worth getting some before being certain about what you prefer. Proofs are hard. Proofs of something like the kernel... dream on.
- zelphirkalt 4y agoThose are very hard to achieve though for some non-trivial C code.