Practical Abstractions for Automated Verification of Shared-Memory Concurrency
This repository hosts supplementary material for the paper, containing the full Coq formalisation (in
./coq), the verified example program (in
./program), and the technical report.
Submitted to VMCAI'20.
This work is partially supported by the NWO VICI 639.023.710 Mercedes project and by the NWO TOP 612.001.403 VerDi project.