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.