A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is
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 ENSURESECdoi:10.5281/zenodo.6323187 fatcat:rvdnnxg46rdrjiqbjhb6k3akji