CHIC (electronics)

CHIC (electronics)

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.

References

* 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.

ee also

* Model checking

External links

* [http://www.eecs.berkeley.edu/~arindam/chic/ CHIC website]


Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • Chic — may refer to: Chic (style), chic meaning stylish or smart Related: List of chics Chic (horse), a thoroughbred racehorse Chic (band), an American music group popular in the disco era Chic (album), the 1977 debut album of the band Chic CHIC… …   Wikipedia

  • LG Optimus One — Optimus One with Google LG Optimus One P500 front Brand LG …   Wikipedia

  • Monotrona — Origin Chicago, IL Genres Experimental Music, Noise Music, Electronic Music, Electronica Years active 1996–2003 Labels Menlo Park Recordings, Eerie Materials, Self published (onlin …   Wikipedia

  • Merzbow discography — Masami Akita discography Releases ↙Studio albums 260 ↙Live albums 65 …   Wikipedia

  • List of defunct retailers of the United States — This is an incomplete list, which may never be able to satisfy particular standards for completeness. You can help by expanding it with reliably sourced entries. Across the United States, a large number of local stores and store chains that… …   Wikipedia

  • Target Corporation — This article is about the United States retail company and its stores. For the Australian retail stores, see Target Australia. Target Corporation Type Public company Traded as NYSE:  …   Wikipedia

  • LG Optimus One — Производитель LG Electronics Поддерживаемые сети …   Википедия

  • Supernature (Goldfrapp album) — Infobox Album Name = Supernature Type = Studio Artist = Goldfrapp Released = Start date|2005|8|22|df=yes Recorded = 2004, Bath, England Genre = ElectroclashElectropop Length = 43:18 (European edition) 48:07 (North American Japanese edition) Label …   Wikipedia

  • New Wave music — This article is about the music genre that originated in the 1970s. For other meanings and artistic movements, see New Wave (disambiguation). New Wave Stylistic origins Punk rock, art rock,[1][2] garage rock …   Wikipedia

  • Akiba-kei — nihongo|Akiba kei|秋葉系 or nihongo|Akiba chan|秋葉ちゃん is a Japanese slang term similar in meaning to otaku . Akiba kei literally means Akihabara style, referring to a district in Tokyo filled with stores selling electronics, manga, anime merchandise …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”