@@ -10,7 +10,6 @@ and [Daiva Naudžiūnienė](https://www.doc.ic.ac.uk/~dn911/)
...
@@ -10,7 +10,6 @@ and [Daiva Naudžiūnienė](https://www.doc.ic.ac.uk/~dn911/)
This position paper proposes a possible pathway to achieve scalable symbolic verification of JavaScript based on separation logic.
This position paper proposes a possible pathway to achieve scalable symbolic verification of JavaScript based on separation logic.
It also highlights the difficulties imposed by the language and the current state-of-the-art in the literature.
It also highlights the difficulties imposed by the language and the current state-of-the-art in the literature.
The conference on Automated Deduction (CADE) is the major international forum at which research on all aspects
of automated deduction is presented.
The conference, first established in 1974 is held under the aegis of the [Association for Automated Reasoning (AAR)](http://www.aarinc.org)
The conference on Automated Deduction (CADE) is the major international forum at which research on all aspects
\ No newline at end of file
of automated deduction is presented. The conference, first established in 1974, is held under the aegis of the [Association for Automated Reasoning (AAR)](http://www.aarinc.org)
