A standalone program-transformation framework lets off-the-shelf reachability verifiers handle termination, no-overflow, and memory cleanup by rewriting the input C program.
Title resolution pending
1 Pith paper cite this work, alongside 12 external citations. Polarity classification is still indexing.
1
Pith paper citing it
12
external citations · OpenAlex
citation-role summary
background 1
citation-polarity summary
fields
cs.PL 1years
2025 1verdicts
CONDITIONAL 1roles
background 1polarities
background 1representative citing papers
citing papers explorer
-
A Modular Program-Transformation Framework for Reducing Specifications to Reachability
A standalone program-transformation framework lets off-the-shelf reachability verifiers handle termination, no-overflow, and memory cleanup by rewriting the input C program.