esverify (npm): ECMAScript program verifier based on SMT solving
Keywords: javascript|verification