Formal Methods for JavaScript

Repositories

• EMME

  EMME: ECMAScript Memory Model Evaluator

  javascript satisfiability-modulo-theories formal-methods formal-verification cvc4 emcascript
  Python 1 5 1 2 Updated Apr 5, 2018

• Litmus-Tests

  A set of litmus tests extracted from the formal specification
  0 0 0 0 Updated Jul 18, 2017

• memory_model

  Formal Methods for the Analyses of the JavaScript Concurrent Memory Model
  0 0 0 0 Updated Dec 13, 2016