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

Allan Blanchard, Nikolai Kosmatov, Matthieu Lemerre, Frdric Loulergue

Browse the full SCAM paper archive.