Citation
Dirk Beyer, Arindam Chakrabarti, Krishnendu Chatterjee, Luca de Alfaro, Tom Henzinger, Marcin Jurdzinski, Freddy Mang, Cindy Song. "CHIC: Checking Interface Compatibility". UC Berkeley, December, 2007.

Abstract
CHIC is a modular verifier for behavioral compatibility checking of software and hardware components. 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: synchronous assume/guarantee interfaces, resource interfaces, web service interfaces, etc.

Electronic downloads

• http://embedded.eecs.berkeley.edu/research/chic

• HTML

  Dirk Beyer, Arindam Chakrabarti, Krishnendu Chatterjee, Luca
  de Alfaro, Tom Henzinger, Marcin Jurdzinski, Freddy Mang,
  Cindy Song. <a
  href="http://chess.eecs.berkeley.edu/pubs/461.html"
  ><i>CHIC: Checking Interface
  Compatibility</i></a>, UC Berkeley, December,
  2007.

• Plain text

  Dirk Beyer, Arindam Chakrabarti, Krishnendu Chatterjee, Luca
  de Alfaro, Tom Henzinger, Marcin Jurdzinski, Freddy Mang,
  Cindy Song. "CHIC: Checking Interface
  Compatibility". UC Berkeley, December, 2007.

• BibTeX

  @software{BeyerChakrabartiChatterjeedeAlfaroHenzingerJurdzinski07_CHICCheckingInterfaceCompatibility,
      author = {Dirk Beyer and Arindam Chakrabarti and Krishnendu
                Chatterjee and Luca de Alfaro and Tom Henzinger
                and Marcin Jurdzinski and Freddy Mang and Cindy
                Song},
      title = {CHIC: Checking Interface Compatibility},
      institution = {UC Berkeley},
      month = {December},
      year = {2007},
      abstract = {CHIC is a modular verifier for behavioral
                compatibility checking of software and hardware
                components. 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: synchronous
                assume/guarantee interfaces, resource interfaces,
                web service interfaces, etc.},
      URL = {http://chess.eecs.berkeley.edu/pubs/461.html}
  }
  

Posted by Arindam Chakrabarti on 24 Jun 2008.
Groups: chess chesslocal
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.