The Common Framework Initiative for Algebraic Specifications CoFI

is a collaborative effort involving many different groups working on algebraic specifications.

The common language CASL is a general-purpose specification language from which a family of related specification languages can be obtained by syntactic or semantic restriction, or by extension (for instance to higher-order functions), all with a consistent, user-friendly syntax and clear semantics.

To be usable in research and industrial contexts, such specification language, sub-languages and extensions must be supported by

Correction to the flawed tools CD-ROM coming with the CASL Reference Manual