Conference Paper

Ticc: A Tool for Interface Compatibility and Composition.

DOI: 10.1007/11817963_8 Conference: Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
Source: DBLP

ABSTRACT 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 envi- ronment's behavior. Ticc can check the compatibility of such interfaces, and analyze their emergent behavior, via a symbolic implementation of game-theoretic algorithms.

0 Bookmarks
 · 
70 Views

Full-text (2 Sources)

Download
23 Downloads
Available from
Jun 2, 2014