Unfortunately for them, the exploit surface for purely logical software is infinite. They should point that thing at the Bitcoin network and prove the Softwar thesis.