Some supporting tools for the algebraic specification of data types

The algebraic specification technique is one of the most influential formal methods in software engineering. In this paper, we describe some supporting tools for writing, verifying and executing algebraic specifications. Examples are given to illustrate the use of these tools.<>