3 ms·
ACL2 was adopted by AMD, basically after $475 million bug. (I am, of course, talking about Pentium FDIV bug.) Expensive bugs do motivate adoption of formal veri
by sanxiyn 9y ago
ACL2 was adopted by AMD, basically after $475 million bug. (I am, of course, talking about Pentium FDIV bug.) Expensive bugs do motivate adoption of formal verification technologies.