GitHub repository: AllanBlanchard/Frama-C-Conc2Seq
Primary language: OCaml
Created: 2017-11-16T12:56:07Z
Description: Frama-C Conc2Seq plugin - transforms concurrent code into equivalent sequential one