Context generation from formal specifications for C analysis tools

DOI10.1007/978-3-319-94460-9_6MaRDI QIDQ1671145zbMATH OpenOpenAlexFDO

Authors Michele Alberti, Julien Signoles

Publication date 6 September 2018

Full work available at URL https://arxiv.org/abs/1709.04497

zbMATH Keywords

transformationformal specificationcode generationFrama-CACSLcode analysis

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1227059
• scientific article; zbMATH DE number 867235
• scientific article; zbMATH DE number 3976317
• Program Development in Computational Logic

This page was built for publication: Context generation from formal specifications for C analysis tools

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1671145)