Formal Methods for JavaScript

Pinned Repositories

EMME
EMME: ECMAScript Memory Model Evaluator
Language:Python6 2 11
Litmus-Tests
A set of litmus tests extracted from the formal specification
0 1 00
memory_model
Formal Methods for the Analyses of the JavaScript Concurrent Memory Model
0 2 00

Formal Methods for JavaScript's Repositories

FMJS/EMME
EMME: ECMAScript Memory Model Evaluator
Language:Python6 2 11
FMJS/Litmus-Tests
A set of litmus tests extracted from the formal specification
0 1 00
FMJS/memory_model
Formal Methods for the Analyses of the JavaScript Concurrent Memory Model
0 2 00