pervognsen, 13 days ago @TomF Right, I was just confused by your comment. It didn't work out for them in that instance and it's usually cited as the origin story of Intel's embrace of formal verification for at least parts of the processor.
@TomF Right, I was just confused by your comment. It didn't work out for them in that instance and it's usually cited as the origin story of Intel's embrace of formal verification for at least parts of the processor.