Hacker News new | ask | show | jobs
Finding Bugs in VMs with a Theorem Prover (openrce.org)
2 points by RolfRolles 5233 days ago