Casl TopContentsAbout CoFI

About CoFI

CoFI, the Common Framework Initiative for algebraic specification and development of software, was started in 1995 as an open international collaboration. The overall coordinator of CoFI since autumn 1998 is Don Sannella (Edinburgh).

CoFI participants have designed Casl, intended as a common language for formal specification of functional requirements and modular software design. Casl supports interoperability of prototyping and verification tools, and it subsumes many previous specification languages.

  • CoFI Origins
  • CoFI Aims and Scope
  • Casl, The Common Algebraic Specification Language
  • CoFI WG
  • CoFI Industrial Impact

  • CoFI : CoFI -- Version:  -- November 29, 2004.
    Comments to pdmosses@brics.dk

    Casl TopContentsAbout CoFI