Gillian-JS

Gillian-JS is an instantiation of Gillian to JavaScript (ECMAScript 5 Strict), found in the Gillian-JS folder of the Gillian repository.

• Symbolic Testing
• PLDI'20 Artifact Documentation