Conc2Seq: A Frama-C Plugin for Verification of Parallel Compositions of C Programs

Allan Blanchard, Nikolai Kosmatov, Matthieu Lemerre, Frédéric Loulergue
PDF DOI
Type
Conference paper
Publication
16th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2016, Raleigh, NC, USA, October 2-3, 2016