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. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.PL 1years
2025 1verdicts
CONDITIONAL 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.