A CAPSL Connector to Athena

J. Millen

Abstract

CAPSL support for multiple analysis tools is accomplished through the CAPSL Intermediate Language (CIL). CIL is used by translating it into whatever input format is required by each tool. Such a translator is called a ``connector.'' This note reports on the method for developing connectors from CIL, with emphasis on the Athena connector. Athena is a model checker developed at CMU and Berkeley that uses the strand space model.