arXiv cs.AI
· Papers
Graph Construction and Matching for Imperative Programs using Neural and Structural Methods
arXiv:2604.26578v3 Announce Type: replace-cross Abstract: Reusing verification artefacts requires identifying structural and semantic similarities across programs and their specifications. In this paper, we focus on graph construction as a foundational step toward this goal. We present a pipeline that converts imperati