Towards logic-based verification of javascript programs
File(s)
Submitted version
Author(s)
Faustino Fragoso Femenin Dos Santos, jose
Gardner, P
Naudziuniene, daiva
Maksimovic, Petar
Type
Conference Paper
Abstract
In this position paper, we argue for what we believe is a correct pathway to achieving scalable symbolic verification of JavaScript based on separation logic. We highlight the difficulties imposed by the language, the current state-of-the-art in the literature, and the sequence of steps that needs to be taken. We briefly describe JaVerT, our semiautomatic toolchain for JavaScript verification.
Date Issued
2017-07-11
Date Acceptance
2017-06-11
Citation
Lecture Notes in Computer Science, 2017, 10395, pp.8-25
ISBN
9783319630458
ISSN
0302-9743
Publisher
Springer Verlag
Start Page
8
End Page
25
Journal / Book Title
Lecture Notes in Computer Science
Volume
10395
Copyright Statement
The final publication is available at Springer via https://dx.doi.org/10.1007/978-3-319-63046-5_2
Sponsor
Engineering & Physical Science Research Council (E
Engineering & Physical Science Research Council (E
Grant Number
EP/K008528/1
EP/K008528/1
Source
26th Conference on Automated Deduction (CADE 26)
Subjects
08 Information And Computing Sciences
Artificial Intelligence & Image Processing
Publication Status
Published
Start Date
2017-08-06
Finish Date
2017-08-11
Coverage Spatial
Gothenburg, Sweden