Context generation from formal specifications for C analysis tools

DOI10.1007/978-3-319-94460-9_6OpenAlexW2756316761MaRDI QIDQ1671145

Julien Signoles, Michele Alberti

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

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

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