Commit 615ebbd9 authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia
Browse files

Add new file

parent a3f426f9
Pipeline #203299 passed with stages
title: Paper accepted at CAV 2021
Congratulations to Petar, Jose, Sacha and Philippa, whose paper and artifact has been accepted to CAV 2021, the [33rd International Conference on Computer-Aided Verification.](
In their paper, Gillian, Part II: Real-World Verification for JavaScript and C, they introduce verification based on separation logic to [Gillian](, and their methodology for constructing compositional memory models for Gillian. They also verify the JavaScript and C implementations of the [AWS Encryption SDK]( message header deserialisation module, where they found two bugs in the JavaScript and three bugs in the C implementation.
CAV is dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems and will be held online this year.
Markdown is supported
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