This is the main web page for information about Casl.
The specification language developed by CoFI is called Casl: the Common Algebraic Specification Language. Its main features are as follows:
- Casl is based on a critical selection of known constructs.
- It is an expressive, simple, pragmatic language.
- It is suitable for specifying requirements and design for conventional software packages
- It has restrictions to various sublanguages.
- It has extensions to higher-order, state-based, concurrent, and other languages.
- Use of Casl is supported by tools.
Various documents are provided below concerning the use and design of Casl, its sublanguages and extensions, and the Casl tools.