to provide a minimal but widely available set of tools for CASL, including syntax and static semantics checkers, library support, emacs and LaTeX modes.

to take advantage of and to reuse an abundance of existing tools developed in the community for protyping, testing, checking properties of programs, verifying the correctness of a specification or of a refinement step. Many of them are specialized, that is only applicable to a particular sub-language and its associated logics, and this raises the practical problem of defining interchange formats and means of exchanging libraries of specifications.

ultimately to achieve a coherent and efficient integration of sub-languages and related tools. This raises the issue of combining and embedding different logics.