About CoFI
From 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 summer 2006 is Till Mossakowski. Past coordinators have been Peter Mosses and Don Sannella.
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