3 ms·
Formal verification is basically mathematically proving the code does what you intend it to do - no third party auditors necessary. I'm not super familiar with
by piperswe 4y ago
Formal verification is basically mathematically proving the code does what you intend it to do - no third party auditors necessary. I'm not super familiar with it, but I've heard quite a bit about it in recent years.
- jckahn 4y agoInteresting! This isn't something I know anything about. I will research it!