JaVerT: JavaScript Verification Toolchain

For a brief tutorial about some of the examples, please click here.
// Est modus in rebus
Ready.
JaVerT Output
JSIL Output