The team of the MATHADOR project (led by Aleks Nanevski) is pleased to announce the first release of the FCSL-PCM library. FCSL-PCM is a part of Fine-grained Concurrent Separation Logic framework, more information is available at https://software.imdea.org/fcsl/. The source code can be found at https://github.com/imdea-software/fcsl-pcm.
