Formal Methods for JavaScript's repositories
Litmus-Tests
A set of litmus tests extracted from the formal specification
memory_model
Formal Methods for the Analyses of the JavaScript Concurrent Memory Model
A set of litmus tests extracted from the formal specification
Formal Methods for the Analyses of the JavaScript Concurrent Memory Model