Finding Bugs in VMs with a Theorem Prover Posted by RolfRolles on Sunday February 19, 2012 @04:43PM from the openrce.org dept. http://www.openrce.org/blog/view/1963/Finding_Bugs_in_VMs_with_a_Theorem_Prover,_Round_1 ( no comments | 2 points | on HN )
There are no comments yet.