Multicore support + verification is in the works, see <a href="https:&#x2F;&#x2F;ssrg.nicta.com.au&#x2F;publications&#x2F;nictaabstracts&#x2F;Peters_DEH_15.abstract.pml" rel="nofollow">https:&#x2F;&#x2F;ssrg.nicta.com.au&#x2F;publications&#x2F;nictaabstracts&#x2F;Peters...</a>