TY - GEN
T1 - Tool interoperability in the Maude formal environment
AU - Durán, Francisco
AU - Rocha, Camilo
AU - Álvarez, José M.
PY - 2011
Y1 - 2011
N2 - We present the Maude Formal Environment (MFE), an executable formal specification in Maude within which a user can seamlessly interact with the Maude Termination Tool, the Maude Sufficient Completeness Checker, the Church-Rosser Checker, the Coherence Checker, and the Maude Inductive Theorem Prover. We explain the high-level design decisions behind MFE, give a summarized account of its main features, and illustrate with an example the interoperation of the tools available in its current release.
AB - We present the Maude Formal Environment (MFE), an executable formal specification in Maude within which a user can seamlessly interact with the Maude Termination Tool, the Maude Sufficient Completeness Checker, the Church-Rosser Checker, the Coherence Checker, and the Maude Inductive Theorem Prover. We explain the high-level design decisions behind MFE, give a summarized account of its main features, and illustrate with an example the interoperation of the tools available in its current release.
UR - http://www.scopus.com/inward/record.url?scp=80053025576&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-22944-2_30
DO - 10.1007/978-3-642-22944-2_30
M3 - Conference contribution
AN - SCOPUS:80053025576
SN - 9783642229435
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 400
EP - 406
BT - Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Proceedings
T2 - 4th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2011
Y2 - 30 August 2011 through 2 September 2011
ER -