We present the tool Ticc (Tool for Interface Compatibility and Composition). In Ticc, a component interface describes both the behavior of a component, and the component's assumptions on the environment's behavior. Ticc can check the compatibility of such interfaces, and analyze their emergent behavior, via a symbolic implementation of game-theoretic algorithms.
['B. Thomas Adler', 'Luca de Alfaro', 'Leandro Dias da Silva', 'Marco Faella', 'Axel Legay', 'Vishwanath Raman', 'Pritam Roy']
Ticc: a tool for interface compatibility and composition