Practical Abstractions for Automated Verification of Message Passing Concurrency
This repository hosts supplementary material for the paper, containing the full Coq formalisation (in ./coq) and the verified example program (in ./example_program).
Submitted to iFM'19.
This work is partially supported by the NWO VICI 639.023.710 Mercedes project and by the NWO TOP 612.001.403 VerDi project.