TransVer : A Modular Program-Transformation Framework for Reduction to Reachability

TransVer is a tool which offers transformations as modular stand-alone component, modifying the input program instead of the internal representation, enabling their usage as a preprocessing step by other verifiers, and can extend existing verifiers to be effective on specifications for which they have no integrated support.