The Maude Formal Tool Environment
José Meseguer, and
This paper describes the main features of several tools concerned
with the analysis of either Maude specifications, or of extensions of such
specifications: the ITP, MTT, CRC, ChC, and SCC tools, and Real-Time Maude
for real-time systems. These tools,
together with Maude itself and its searching and model-checking
capabilities constitute Maude's formal environment.