4 ms·
Formal verification is a thing people do - and I think that’s what most people think from ‘verified’. They aren’t conspiracy theorists they’re proving things li
by chrisseaton 5y ago
Formal verification is a thing people do - and I think that’s what most people think from ‘verified’. They aren’t conspiracy theorists they’re proving things like that your C implementation code is defined and matches what you think you’ve written, since that’s where these errors creep in.
- rocqua 5y agoyou can do those things under the assumption "the compiler is correct". That still very much counts as formal verification.