3 ms·
We used this in my Logic and Computation college class. I've been thinking recently about if people could take this and use it to make a safer language for thin
by adjkant 9y ago
We used this in my Logic and Computation college class. I've been thinking recently about if people could take this and use it to make a safer language for things like contracts in crypto (looking to you Ethereum) so people don't end up writing million dollar bugs so easily.
- sanxiyn 9y agoACL2 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.