Sciweavers

Share
CALCO
2007
Springer

The Maude Formal Tool Environment

8 years 9 months ago
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.
Manuel Clavel, Francisco Durán, Joe Hendrix
Added 07 Jun 2010
Updated 07 Jun 2010
Type Conference
Year 2007
Where CALCO
Authors Manuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas, José Meseguer, Peter Csaba Ölveczky
Comments (0)
books