Mechanized Verification of Fine-grained Concurrent Programs Accompanying tutorial and code commentary for PLDI 2015 artifact evaluation
Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee · 2016
This is an accompanying document for the paper with the same title [7], accepted for publication at PLDI 2015. Section 1 of this tutorial lists the prerequisites for reading and executing FCSL code, Section 2 outlines the structure of the FCSL project, and Section 3 provides general instructions on compiling FCSL and measuring the line counts of the development.