FMJS / EMME Star 6 Code Issues Pull requests EMME: ECMAScript Memory Model Evaluator javascript satisfiability-modulo-theories formal-methods formal-verification cvc4 emcascript Updated Apr 5, 2018 Python