esverify icon indicating copy to clipboard operation
esverify copied to clipboard

Published 20 hours ago • verified publisher icon levjj

Parallel verification

Open levjj opened this issue 6 years ago • 0 comments

esverify currently generates verifications and dispatches these sequentially to the SMT solver. As a performance improvement, it would be possible to parallize this process. In addition to solving VCs, this could also involve running the synthesized counterexamples in a webworker.

levjj avatar Jul 20 '19 22:07 levjj