Skip to Main content Skip to Navigation
Conference papers

Combining Dynamic and Static Analysis to Help Develop Correct Graph Transformations

Abstract : Developing provably correct graph transformations is not a trivial task. Besides writing the code, a developer must as well specify the pre- and post-conditions. The objective of our work is to assist developers in producing such a Hoare triple in order to submit it to a formal verification tool. By combining static and dynamic analysis, we aim at providing more useful feedback to developers. Dynamic analysis helps identify inconsistencies between the code and its specifications. Static analysis facilitates extracting the pre- and post-conditions from the code. Based on this proposal, we implemented a prototype that allows running, testing and proving graph transformations written in small-tALC, our own transformation language.
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02559762
Contributor : Open Archive Toulouse Archive Ouverte (OATAO) Connect in order to contact the contributor
Submitted on : Thursday, April 30, 2020 - 5:30:56 PM
Last modification on : Monday, July 4, 2022 - 9:06:14 AM

File

Makhlouf_22312.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02559762, version 1
  • OATAO : 22312

Citation

Amani Makhlouf, Hanh Nhi Tran, Christian Percebois, Martin Strecker. Combining Dynamic and Static Analysis to Help Develop Correct Graph Transformations. International Conference on Tests and Proofs (TAP 2016), Jul 2016, Vienna, Austria. pp.183-190. ⟨hal-02559762⟩

Share

Metrics

Record views

17

Files downloads

26