Verification
============


JaVert (POPL 2018)
^^^^^^^^^^^^^^^^^^^^

*Paper title:* `JaVerT: JavaScript verification toolchain <https://dl.acm.org/doi/pdf/10.1145/3158138>`__

*Authors:* José Fragoso Santos, Petar Maksimović, Daiva Naudžiunienė, Thomas Wood, Philippa Gardner

JaVert 2.0 (POPL 2019)
^^^^^^^^^^^^^^^^^^^^^^^^

*Paper title:* `JaVerT 2.0: Compositional Symbolic Execution for JavaScript <https://dl.acm.org/doi/pdf/10.1145/3290379>`__

*Authors:* José Fragoso Santos, Petar Maksimović, Gabriela Sampaio, Philippa Gardner