Case studies

The purpose of this web site is to present specifications written in CASL, the Common Algebraic Specification Language developed by the Common Framework Initiative (CoFI). If you have some CASL case studies to share, you are welcome to send them to me for inclusion on this web page. Please follow the guideline for submitting case studies.

Case Studies

• Specifying Process Algebra in CoCASL by Till Mossakowski, Markus Roggenbach, and Lutz Schröder
• Executable Specification of an Interpreter by Markus Roggenbach
• The Specification of a Warehouse by Hubert Baumeister and Didier Bert
• CASL Basic Datatypes by Markus Roggenbach, Till Mossakowski, and Lutz Schröder
• A Specification of the Unification Algorithm in CASL by Patricia D. L. Machado

Call for Contributions

CoFI and CASL