This plugin is not actively developed anymore.
AllanBlanchard/Frama-C-Conc2Seq
Frama-C Conc2Seq plugin - transforms concurrent code into equivalent sequential one
OCamlLGPL-3.0
Frama-C Conc2Seq plugin - transforms concurrent code into equivalent sequential one
OCamlLGPL-3.0
This plugin is not actively developed anymore.