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.
See also
~ ~ ~ ~ ~ ~ ~ ~ ~ ~
~ Table of Content ~
| ► | Introduction |
| ► | Reference |
| ► | See also |
| ► | External link |
~ What's Hot ~
The Blind Side, Clash Of The Titans, The Hangover, A Christmas Carol, The Goods Live Hard Sell Hard, Sorority Row, The Mummy 4 Rise Of The Aztec, 500 Days Of Summer, Fantastic Mr Fox, The Boondock Saints Ii All Saints Day, The Princess And The Frog, My Sister S Keeper, Despicable Me, Hannah Montana The Movie, Avatar, Alvin And The Chipmunks The Squeakquel, This Is It, New Moon, Tron Legacy, Up In The Air,
~ 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.