Skip to content
Snippets Groups Projects
Commit 15a777e6 authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia
Browse files

Update 2017-09-26-popl.md

parent 75db21b1
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
_posts/2017-09-26-popl.md
+ 2
− 2
View file @ 15a777e6
...@@ -7,5 +7,5 @@ and [Thomas Wood](https://www.doc.ic.ac.uk/~tw1509/), have had a paper accepted ...@@ -7,5 +7,5 @@ and [Thomas Wood](https://www.doc.ic.ac.uk/~tw1509/), have had a paper accepted
[(POPL 2018)](https://popl18.sigplan.org/). [(POPL 2018)](https://popl18.sigplan.org/).
The paper is entitled JaVerT: JavaScript Verification using Separation Logic and introduces The paper is entitled JaVerT: JavaScript Verification using Separation Logic and introduces
[JaVerT], (http://ec2-52-56-105-125.eu-west-2.compute.amazonaws.com:3000/javert ) [JaVerT](http://ec2-52-56-105-125.eu-west-2.compute.amazonaws.com:3000/javert )
a semi-automatic verification tool chain for JavaScript based on separation logic. More details will follow soon! a semi-automatic verification tool chain for JavaScript based on separation logic. More details will follow soon!
\ No newline at end of file
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment