Finding Bugs in VMs with a Theorem Prover #1 Post by RolfRolles » Sun, Feb 19, 2012, 9:43 PM UTC Finding Bugs in VMs with a Theorem Proveropenrce.org