CARVER: A Slicing Tool for Communicating Automata Specifications

Slicing communicating automata specifications is a model reduction technique that has been shown to be efficient in our previous works. This paper introduces CARVER, a tool for slicing communicating automata specifications, that underlies dependence-based slicing techniques. It is described how this tool can extract slices from specifications, and how it can be integrated in the environment of other tools, for the purpose of reducing the complexity of formal analyses.