TY - GEN
T1 - The maude formal tool environment
AU - Clavel, Manuel
AU - Durán, Francisco
AU - Hendrix, Joe
AU - Lucas, Salvador
AU - Meseguer, José
AU - Ölveczky, Peter
PY - 2007
Y1 - 2007
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=38049016514&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=38049016514&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-73859-6_12
DO - 10.1007/978-3-540-73859-6_12
M3 - Conference contribution
AN - SCOPUS:38049016514
SN - 9783540738572
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 173
EP - 178
BT - Algebra and Coalgebra in Computer Science - Second International Conference, CALCO 2007, Proceedings
PB - Springer
T2 - 2nd International Conference on Algebra and Coalgebra in Computer Science, CALCO 2007
Y2 - 20 August 2007 through 24 August 2007
ER -