Towards an Axiomatic Verification System for JavaScript.

Shengchao Qin Aziem Chawdhary Wei Xiong Malcolm Munro Zongyan Qiu Huibiao Zhu

Published in: TASE (2011)

Keyphrases

web applications
open source
website
model checking
formal verification
web development
database
real time
web browser
face verification
formal analysis
asynchronous circuits
functional verification
false acceptance