Towards Logic-based Verification of JavaScript Programs
Authors
- José Fragoso Santos
- Philippa Gardner
- Petar Maksimovic
- Daiva Naudziuniene
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 semi-automatic toolchain for JavaScript verification.
Venue
Conference on Automated Deduction (CADE) 2017
Publication Date
Aug 2017