Armand Puccetti

Learn More
This experience report describes the choice of OCaml as the implementation language for Frama-C, a framework for the static analysis of C programs. OCaml became the implementation language for Frama-C because it is expressive. Most of the reasons listed in the remaining of this article are secondary reasons, features which are not specific to OCaml(More)
This paper presents a summary of the key results obtained within the " SINARI " project; a French collaborative research project which focuses on developing methods for assessing the dependability and cyber security of the coupled infrastructure made up by the electrical distribution network and its supporting information system and telecommunication(More)
  • 1