Login / Signup
JaVerT: JavaScript verification toolchain.
José Fragoso Santos
Petar Maksimovic
Daiva Naudziuniene
Thomas Wood
Philippa Gardner
Published in:
Proc. ACM Program. Lang. (2018)
Keyphrases
</>
web applications
open source
model checking
website
face verification
formal verification
learning algorithm
signature verification
data sets
neural network
user interface
web browser
scripting language
concurrent systems
functional verification