Chic
CHIC 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.
Reference
- 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.
~ Table of Content ~
| ► | Introduction |
| ► | Reference |
| ► | See also |
| ► | External link |
~ What's Hot ~
2012, My Sister S Keeper, New Moon, Sorority Row, Invictus, The Blind Side, The Hangover, Dear John, The Goods Live Hard Sell Hard, The Ugly Truth, Tron Legacy, Fantastic Mr Fox, Clash Of The Titans, The Princess And The Frog, Ninja Assassin, 500 Days Of Summer, The Boondock Saints Ii All Saints Day, The Mummy 4 Rise Of The Aztec, Alvin And The Chipmunks The Squeakquel, Avatar,
~ Community ~
| ► | History Forum Come and discuss about History, Civilizations, Historical Events and Figures |
| ► | History Web-Ring A community of sites, blogs and forums dedicated to History. Do not hesitate to submit your site. |
and are licensed under the GNU Free Documentation License.
Lexicon - Privacy Policy - Spiritus-Temporis.com ©2005.