The Maude Formal Tool Environment
Authors
Manuel Clavel,
Francisco Durán,
Joe Hendrix,
Salvador Lucas,
José Meseguer, and
Peter Olveczky
Abstract
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.