Contents Menu Expand Light mode Dark mode Auto light/dark, in light mode Auto light/dark, in dark mode Skip to content
Gillian
Light Logo Dark Logo
  • Installation
  • Developing Gillian
  • The Gillian Debugger
  • API reference

Instantiations

  • WISL
    • Verification Tutorial
  • Gillian-C
    • Symbolic Testing
    • PLDI’20 Artefact Documentation
      • Folder Structure
      • Symbolic Testing
  • Gillian-C2
  • Gillian-JS
    • Symbolic Testing
    • PLDI'20 Artefact Documentation
      • Folder Structure
      • JS-2-GIL and Test262
      • Symbolic Testing
  • Gillian-Rust

About Gillian

  • Publications
    • Compositional Symbolic Execution, Part I
    • Matching Plans
    • Symbolic Debugging with Gillian
    • Gillian, Part II
    • Gillian, Part I
    • JaVerT 2.0
    • Cosette
    • JaVerT
  • Other Gillian-related Publications
  • Copyright and License
Back to top
View this page

Gillian-JS¶

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

  • Symbolic Testing
  • PLDI'20 Artefact Documentation
    • Folder Structure
    • JS-2-GIL and Test262
    • Symbolic Testing
Next
Symbolic Testing
Previous
Gillian-C2
Copyright © Gillian Team @ Imperial College London
Made with Sphinx and @pradyunsg's Furo