CASL 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

Contents

Hubert Baumeister

November 14, 2005