FMJS repositories

3 repositories

EMME
Public
EMME: ECMAScript Memory Model Evaluator
javascript satisfiability-modulo-theories formal-methods
javascript satisfiability-modulo-theories formal-methods formal-verification cvc4 emcascript
Python
•
Other
•1•6•1•2•Updated Apr 5, 2018Apr 5, 2018
Litmus-Tests
Public
A set of litmus tests extracted from the formal specification
0•0•0•0•Updated Jul 18, 2017Jul 18, 2017
memory_model
Public
Formal Methods for the Analyses of the JavaScript Concurrent Memory Model
0•0•0•0•Updated Dec 13, 2016Dec 13, 2016

ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.