ACSL/ACSL++ and JML translator from ASFM

D3.2 provides a software demonstrator that translates the information coming from the common universal part and the source code into ACSL/ACSL++ and JML annotations. D3.2 is the main result of T3.2. Tasks 3.4 and 3.5 will then use these annotations as a first basis to enrich until they become precise, complete for the reviewers’ objectives and unambiguous.