3 ms·
No problem. You'll notice as you go through the links that none are about verification of correctness. Rather, they are about "correct by construction".
by bmer 10y ago
No problem. You'll notice as you go through the links that none are about verification of correctness. Rather, they are about "correct by construction".