Imperial College London
Alternate

ProfessorPhilippaGardner

Faculty of Engineering, Department of Computing

Professor of Theoretical Computer Science
 
 
 
//

Contact

 

+44 (0)20 7594 8292p.gardner Website

 
 
//

Location

 

453Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@inproceedings{Faustino:2017:10.1007/978-3-319-63046-5_2,
author = {Faustino, Fragoso Femenin Dos Santos J and Gardner, P and Naudziuniene, D and Maksimovic, P},
doi = {10.1007/978-3-319-63046-5_2},
pages = {8--25},
publisher = {Springer Verlag},
title = {Towards logic-based verification of javascript programs},
url = {http://dx.doi.org/10.1007/978-3-319-63046-5_2},
year = {2017}
}
Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - 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.
AU  - Faustino,Fragoso Femenin Dos Santos J
AU  - Gardner,P
AU  - Naudziuniene,D
AU  - Maksimovic,P
DO  - 10.1007/978-3-319-63046-5_2
EP  - 25
PB  - Springer Verlag
PY  - 2017///
SN  - 0302-9743
SP  - 8
TI  - Towards logic-based verification of javascript programs
UR  - http://dx.doi.org/10.1007/978-3-319-63046-5_2
UR  - http://hdl.handle.net/10044/1/55840
ER  -
Download