JaVerT: JavaScript Verification Toolchain

Published: 19/01/2018
JaVerT: JavaScript Verification Toolchain
Source: BLOG.ACOLYER.ORG

JaVerT: JavaScript Verification Toolchain Santos et al., POPL 18 The JavaScript Verification Toolchain (JaVerT) is designed to support reasoning over JavaScript programs. It can be used to verify functional correctness properties of programs annotated with pre- and post- conditions, loop invariants, and instructions for unfolding and folding user-defined predicates. To do this, it must be […

Read more
Related news
Comment
Latest in blog
FACEBOOK