Towards Logic-Based Verification of JavaScript Programs.

José Fragoso Santos Philippa Gardner Petar Maksimovic Daiva Naudziuniene

Published in: CADE (2017)

Keyphrases

symbolic execution
web applications
website
knowledge representation
open source
model checking
automatic programming
hardware designs
static analysis
test generation
computer programs
verification method
java bytecode
neural network
face verification
signature verification
asynchronous circuits
web browser