3 ms·
There’s CompCert, if you really want to go that far… Then there’s the question of auditing the hardware you’re running on ;)
by comex 7y ago
There’s CompCert, if you really want to go that far…
Then there’s the question of auditing the hardware you’re running on ;)