CHIC (Checker for Interface Compatibility) is a modular verifier for behavioral compatibility checking of hardware and software systems. The goal of CHIC is to be able to check that the interfaces for software or hardware components provide guarantees that satisfy the assumptions they make about each other. CHIC supports a variety of interface property specification formalisms for a variety of application domains, such as resource-usage analysis for embedded systems, behavioral compatibility of web service applications, etc.
- Luca de Alfaro and Thomas A. Henzinger, Interface theories for component-based design. In Proceedings of the First International Workshop on Embedded Software (EMSOFT), Lecture Notes in Computer Science 2211, Springer-Verlag, 2001, pp. 148–165.
|This formal methods-related article is a stub. You can help Wikipedia by expanding it.|