D4.2 –Modeling and Verification Tools-Initial Version

Julien Signoles, Allan Blanchard, Bernard Botella, Taimoor Khan
2021 Zenodo  
This document is the deliverable D4.2 of ENSURESEC, which is the mid-term report of the ENSURESEC's Task T4.2 "Modeling and Verification Tools". It introducesthe main tool, namely Frama-C, on which this task is based, presents the first task results,and explains what remainsto be done. The document first presents a state of the art of related techniques andtools. Then it introduces Frama-C, the tool at the heart of the ENSURESEC's Task 4.2, including its integration within the ENSURESEC
more » ... , its setup and its user interface. Finally, it focuseson the task's development, including the work done so far,and what remains to be done.
doi:10.5281/zenodo.6323187 fatcat:rvdnnxg46rdrjiqbjhb6k3akji