[PPT] - CONC 2 SEQ : A Frama-C Plugin for the Verification of Parallel PowerPoint Presentation