| | | 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.
| | | About CoFI |