publications.bib

@@ -1563,7 +1563,7 @@ Logic. The joining ingredient of JaVerT is a JavaScript frontend to our JSIL ver
 tightly connecting programs and reasoning at the level of JavaScript to programs and reasoning at
 the level of JSIL. This frontend includes a well-tested compiler from JavaScript code to JSIL code, a
 translator from JavaScript Logic to JSIL Logic, and well-tested JSIL reference implementations and
-veried axiomatic specifications of the JavaScript internal functions.
+verified axiomatic specifications of the JavaScript internal functions.
 We demonstrate the feasibility of JaVerT to specify and verify simple data structure libraries,
 illustrating our ideas using an implementation of a priority queue. Our given specifications ensure
 prototype safety of library operations, in that they describe the conditions under which these operations