The Maude Formal Tool Environment

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.

• Type: Conference
• Year: 2007
• Where: CALCO
• Authors: Manuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas, José Meseguer, Peter Csaba Ölveczky
• Keywords: CALCO 2007, Capabilities Constitute Maude, Maude Specifications, Real-Time Maude