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.
External link
~ Table of Content ~
| ► | Introduction |
| ► | Reference |
| ► | See also |
| ► | External link |
~ What's Hot ~
All About Steve, The Hangover, The Blind Side, 500 Days Of Summer, The Mummy 4 Rise Of The Aztec, Hannah Montana The Movie, The Boondock Saints Ii All Saints Day, Sorority Row, New Moon, Clash Of The Titans, The Ugly Truth, My Sister S Keeper, Avatar, Dear John, The Goods Live Hard Sell Hard, Fantastic Mr Fox, Alvin And The Chipmunks The Squeakquel, I Love You Beth Cooper, Twilight, The Princess And The Frog,
~ 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.