Sciweavers

CALCO
2007
Springer
96views Mathematics» more  CALCO 2007»
14 years 5 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, Ch...
Manuel Clavel, Francisco Durán, Joe Hendrix...