CARVER: A Slicing Tool for Communicating Automata Specifications.

Sbastien Labb, Arnault Lapitre

Browse the full ISoLA paper archive.